Eliminating Negation from Normal Logic Programs

Kanchana Kanchanasut, Peter J. Stuckey. Eliminating Negation from Normal Logic Programs. In Hélène Kirchner, Wolfgang Wechler, editors, Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings. Volume 463 of Lecture Notes in Computer Science, pages 217-231, Springer, 1990.

@inproceedings{KanchanasutS90,
  title = {Eliminating Negation from Normal Logic Programs},
  author = {Kanchana Kanchanasut and Peter J. Stuckey},
  year = {1990},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/KanchanasutS90},
  cites = {0},
  citedby = {0},
  pages = {217-231},
  booktitle = {Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings},
  editor = {Hélène Kirchner and Wolfgang Wechler},
  volume = {463},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53162-9},
}