Skip to content

The Complexity of Model Checking for Propositional Default Logics.

Paolo Liberatore, Marco Schaerf

VenueAECAI
Year1998
ProceedingsECAI

Browse the full ECAI paper archive.