Böttcher, Stefan: Proc. of the German Workshop on Artificial Intelligence, GW AI-85, Informatik-Fachberichte 118 / Ein Beweisverfahren für Datenbankprädikate. . In: Proc. of the German Workshop on Artificial Intelligence, GW AI-85, Informatik-Fachberichte 118. Jg.9.1985, S.164175