Disjunctive Logic Programming over Finite Structures - Eiter, T; Gottlob, G; Mannila, H (1994)