Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete

Bibliografski detalji
Glavni autori: Eiter, T, Gottlob, G
Format: Journal article
Izdano: 1993