Beweisverfahren für den Prädikatenkalkül - Veenker, Gerd (1967)
Tübingen, Diss.