Disjoint pattern matching and implication in strings

Leonid Libkin, Cristina Sirangelo. Disjoint pattern matching and implication in strings. Inf. Process. Lett., 110(4):143-147, 2010. [doi]

Abstract

Abstract is missing.