Pattern matching with variables: A multivariate complexity analysis

Henning Fernau, Markus L. Schmid. Pattern matching with variables: A multivariate complexity analysis. Inf. Comput., 242:287-305, 2015. [doi]

Abstract

Abstract is missing.