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]
@inproceedings{LuG92,
title = {Abstract fixpoint semantics and abstract procedural semantics of definite logic programs},
author = {Lunjin Lu and Peter Greenfield},
year = {1992},
doi = {10.1109/ICCL.1992.185477},
url = {http://dx.doi.org/10.1109/ICCL.1992.185477},
tags = {semantics, logic programming, logic},
researchr = {https://researchr.org/publication/LuG92},
cites = {0},
citedby = {0},
pages = {147-154},
booktitle = {ICCL 92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992},
editor = {James R. Cordy and Mario Barbacci},
publisher = {IEEE},
isbn = {0-8186-2585-6},
}