Inheritance of Proofs

Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup. Inheritance of Proofs. TAPOS, 4(1):51-69, 1998.

Abstract

Abstract is missing.