Reusing proofs (1994)

by T Kolbe, C Walther
Venue:In Proceedings of the 11th European Conference on Artificial Intelligence (ECAI-11