Gudmund Skovbjerg Frandsen. Logic programming and substitutions. In Lothar Budach, editor, Fundamentals of Computation Theory, FCT 85, Cottbus, GDR, September 9-13, 1985. Volume 199 of Lecture Notes in Computer Science, pages 146-158, Springer, 1985.
Abstract is missing.