Patching Proofs for Reuse (Extended Abstract).

Thomas Kolbe Christoph Walther Patching Proofs for Reuse (Extended Abstract). 303-306 1995 conf/ecml/1995 ECML db/conf/ecml/ecml95.html#KolbeW95 http://dx.doi.org/10.1007/3-540-59286-5_73