Disjunctive Logic Programming over Finite Structures

Bibliographic Details
Main Authors: Eiter, T, Gottlob, G, Mannila, H
Format: Conference item
Published: 1994