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, Seite 361--374. New York, NY, USA, ACM Press, (1994)
J. Paakki. Programming Language Implementation and Logic Programming (PLILP
'93), Volume 528 von Lect. Notes in Comp. Sci., Seite 243--254. Passau Germany, Springer-Verlag, (1991)
P. Deransart, und 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)..