C.: Patching Proofs for Reuse (1995)

by T Kolbe, Walther
Venue:Proc. 8 th ECML '95, Heraklion, Crete/Greece