Proving Theorems by Reuse (2000)

by T Kolbe, C Walther
Venue:Artificial Intelligence