A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation

Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski. A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. In KR. pages 74-85, 1998.

@inproceedings{BrassDNP98,
  title = {A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation},
  author = {Stefan Brass and Jürgen Dix and Ilkka Niemelä and Teodor C. Przymusinski},
  year = {1998},
  tags = {semantics, C++},
  researchr = {https://researchr.org/publication/BrassDNP98},
  cites = {0},
  citedby = {0},
  pages = {74-85},
  booktitle = {KR},
}