Basin, David Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-247.pdf (Any fulltext), 158KB
Basin, D., & Wash, T.(1992). Difference unification (MPI-I-92-247). Saarbrücken: Max-Planck-Institut für Informatik.