Simulation relations for pattern matching in directed graphs

Johanna Björklund, Lars-Daniel Öhman. Simulation relations for pattern matching in directed graphs. Theoretical Computer Science, 485:1-15, 2013. [doi]

Abstract

Abstract is missing.