Thomas Kolbe Christoph Walther Reusing Proofs. 80-84 1994 ECAI db/conf/ecai/ecai94.html#KolbeW94