Manfred Schmidt-Schauß
-
Boolean unification - The story so far
Journal of Symbolic Computation
Unification in primal algebras, their powers and their varieties
Journal of the ACM (JACM)
Termination of narrowing revisited
Theoretical Computer Science