J. Paakki. Programming Language Implementation and Logic Programming (PLILP
'93), том 528 из Lect. Notes in Comp. Sci., стр. 243--254. Passau Germany, Springer-Verlag, (1991)
E. Duris. Proc.of the International Conference on Functional Programming (ICFP'97)
-- Poster Session, Amsterdam, The Netherlands, ACM Press, (июня 1997)
P. Deransart, и 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, и J. Maluszynski. Programming Languages Implementation and Logic Programming, том 348 из Lecture Notes in Computer Science, Springer-Verlag, New York--Heidelberg--Berlin, Orléans.(мая 1988)