Maurice Bruynooghe Martin Wirsing Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings PLILP Lecture Notes in Computer Science 631 Springer 1992 3-540-55844-6 db/conf/plilp/plilp92.html