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. 2009, S. 164-175