A Fixpoint Approach to Declarative Semantics of Logic Programs

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},
}