Hélène Kirchner
-
Unification in combinations of collapse-free regular theories
Journal of Symbolic Computation
Principles of OBJ2
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages