An Abstract Machine for Computing the Well-Founded Semantics.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

Browse the full ICLP paper archive.