The complexity of model checking for propositional default logics
Paolo Liberatore, Marco SchaerfVolume:
55
Year:
2005
Language:
english
Pages:
14
DOI:
10.1016/j.datak.2005.03.002
File:
PDF, 199 KB
english, 2005