Proving theorems by reuse (2000)

by C Walther, T Kolbe
Venue:Artif. Intell