Ulrich Zukowski, Burkhard Freitag, Stefan Brass. Differential Bottom-Up Computation of the Well-Founded Semantics. In ICLP. pages 421, 1997.
@inproceedings{ZukowskiF97, title = {Differential Bottom-Up Computation of the Well-Founded Semantics}, author = {Ulrich Zukowski and Burkhard Freitag and Stefan Brass}, year = {1997}, tags = {semantics}, researchr = {https://researchr.org/publication/ZukowskiF97}, cites = {0}, citedby = {0}, pages = {421}, booktitle = {ICLP}, }