Lunjin Lu, Peter Greenfield. Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. In James R. Cordy, Mario Barbacci, editors, ICCL 92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992. pages 147-154, IEEE, 1992. [doi]
Abstract is missing.