The Relationship between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs. Theoretical Computer Science 103,365386 (1992)

by W Marek, V S Subrahmanian