Approximate pattern matching and transitive closure logics

Kjell Lemström, Lauri Hella. Approximate pattern matching and transitive closure logics. Theoretical Computer Science, 1-3(299):387-412, 2003. [doi]

Abstract

Abstract is missing.