@inproceedings{conf/gi/EiterGM94, title = "Disjunctive Logic Programming over Finite Structures", author = "Thomas Eiter and Georg Gottlob and Heikki Mannila", year = "1994", booktitle = "{GI Jahrestagung}", pages = "69-73", }