Complexity Results for Abductive Logic Programming

Bibliographic Details
Main Authors: Eiter, T, Gottlob, G, Leone, N
Format: Conference item
Published: Springer 1995