Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions.

Fabrizio Riguzzi, Terrance Swift

Browse the full ICLP paper archive.