Dettaglio pubblicazione
2005, ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, Pages 232-272 (volume: 6)
Complexity of Propositional Nested Circumscription and Abnormality Theories (01a Articolo in rivista)
Cadoli Marco, Eiter T., Gottlob G.
keywords