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