Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
Hanus, M. (1994). Lazy Unification with Simplification. In D. Sannella (Ed.), Proceedings of the 5th European Symposium on Programming Languages and Systems (ESOP'94) (pp. 272-286). Berlin, Germany: Springer.