Tree edit distance: Robust and memory-efficient. (March 2016)