Phan Minh Dung, Kanchana Kanchanasut
A Fixpoint Approach to Declarative Semantics of Logic Programs
ICLP, 1989.
@inproceedings{NACLP-1989-DungK89a, author = "Phan Minh Dung and Kanchana Kanchanasut", booktitle = "{Proceedings of the North American Conference on Logic Programming, 2 Volumes}", isbn = "0-262-62064-2", pages = "604--625", publisher = "{MIT Press}", title = "{A Fixpoint Approach to Declarative Semantics of Logic Programs}", year = 1989, }