Armin B. Cremers Ulrike Griefahn Ralf Hinze Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung Vieweg 1994 3-528-04700-3