(Ed.): ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992.
Springer 1993 Workshops in Computing
: Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs.
, Peter Greenfield
: An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog.
Language and Implementation Issues