Patching Proofs for Reuse (Extended Abstract)

Kolbe and Walther. "Patching Proofs for Reuse (Extended Abstract)." European Conference on Machine Learning, 1995. doi:10.1007/3-540-59286-5_73

[Kolbe and Walther. "Patching Proofs for Reuse (Extended Abstract)." European Conference on Machine Learning, 1995.](https://mlanthology.org/ecmlpkdd/1995/kolbe1995ecml-patching/) doi:10.1007/3-540-59286-5_73

@inproceedings{kolbe1995ecml-patching,
  title     = {{Patching Proofs for Reuse (Extended Abstract)}},
  author    = {Kolbe, Thomas and Walther, Christoph},
  booktitle = {European Conference on Machine Learning},
  year      = {1995},
  pages     = {303-306},
  doi       = {10.1007/3-540-59286-5_73},
  url       = {https://mlanthology.org/ecmlpkdd/1995/kolbe1995ecml-patching/}
}