Differential Bottom-Up Computation of the Well-Founded Semantics

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