Inproceedings,

An Abstract Machine for Computing the Well-Founded Semantics.

, , and .
JICSLP, page 274-288. MIT Press, (1996)

Meta data

Tags

Users

  • @dblp

Comments and Reviews