Approximate Pattern Matching is Expressible in Transitive Closure Logic.

Kjell Lemstrm, Lauri Hella

Browse the full LICS paper archive.