Phan Minh Dung, Kanchana Kanchanasut. A Fixpoint Approach to Declarative Semantics of Logic Programs. In NACLP. pages 604-625, 1989.
@inproceedings{DungK89a, title = {A Fixpoint Approach to Declarative Semantics of Logic Programs}, author = {Phan Minh Dung and Kanchana Kanchanasut}, year = {1989}, tags = {semantics, logic programming, logic, systematic-approach}, researchr = {https://researchr.org/publication/DungK89a}, cites = {0}, citedby = {0}, pages = {604-625}, booktitle = {NACLP}, }