Semantics-aware trace analysis
A linear space algorithm for computing maximal common subsequences