Inheritance of proofs (1998)

by Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup
Venue:Theor. Pract. Object Syst