A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics.

Christos Nomikos, Panos Rondogiannis, William W. Wadge

Browse the full ICLP paper archive.