Patching Proofs for Reuse (1995)

by T Kolbe, C Walther
Venue:Proc. European Conf. on Machine Learning (ECML-95), 303