Dominique Pastre Knowledge-Based Theorem Proving. 429 1980 conf/gi/1980 GI Jahrestagung db/conf/gi/gi80.html#Pastre80