Knowledge Processing and Information Systems
Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report

@inproceedings{DBLP:conf/nmr/SchaubW02,
  title = {Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report},
  author = {Schaub, Torsten and Wang, Kewen},
  booktitle = {{NMR}},
  pages = {238--246},
  year = {2002}
}