Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms.

David Pearce

Browse the full LPNMR paper archive.