Pattern Matching with Variables: Fast Algorithms and New Hardness Results.

Henning Fernau, Florin Manea, Robert Mercas, Markus L. Schmid

Browse the full STACS paper archive.