"Pattern matching with variables: A multivariate complexity analysis."

Henning Fernau, Markus L. Schmid (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics