Peter Padawitz On the Proof of Completeness and Consistency. 1982 ADT db/conf/adt/adt1982.html#Padawitz82