Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics

Bibliographic Details
Main Authors: Eiter, T, Gottlob, G
Format: Conference item
Published: 1993