On the parameterized complexity of associative and commutative unification
scientific article; zbMATH DE number 6668235
scientific article