Norbert Preining Sketch-as-Proof. 264-277 1997 conf/kgc/1997 Kurt Gödel Colloquium db/conf/kgc/kgc97.html#Preining97