Ein Programm zur Lösung von Schachaufgaben. - Gerd Veenker (Elektron. Rechenanlagen, 1965)

Beweisalgorithmen für die Prädikatenlogik. - Gerd Veenker (Computing, 1967)

The unit-clause proof procedure with equality. - Geerd-Rüdiger Hoffmann; Gerd Veenker (Computing, 1971)