Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract)
Georg Gottlob
Book Title
KR
Pages
647−649
Year
1996
Georg Gottlob