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. Vol.9.1985. 2009, page 164-175