Manuel V. Hermenegildo Jaan Penjam Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings PLILP Lecture Notes in Computer Science 844 Springer 1994 3-540-58402-1 db/conf/plilp/plilp94.html