Deduktive Datenbanken

by W. Bibel, Armin B. Cremers, Rudolf Kruse, Ulrike Griefahn, Ralf Hinze