Completeness for Propositional Logic Programs with Negation.

Jan A. Plaza

Browse the full ISMIS paper archive.