J. Paakki. Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages: papers presented at the Symposium:
Portland, Oregon, January 17--21, 1994, page 361--374. New York, NY, USA, ACM Press, (1994)
J. Paakki. Programming Language Implementation and Logic Programming (PLILP
'93), volume 528 of Lect. Notes in Comp. Sci., page 243--254. Passau Germany, Springer-Verlag, (1991)
P. Deransart, and J. Maluszynski. Journal of Logic Programming, 2 (2):
119--155(1985)Also published as a report, Linköping Institute of Technology
(October 1984), and as rapport RR 393, INRIA, Rocquencourt (1985)..
P. Deransart, and J. Maluszynski. Programming Languages Implementation and Logic Programming, volume 348 of Lecture Notes in Computer Science, Springer-Verlag, New York--Heidelberg--Berlin, Orléans.(May 1988)