Patching Proofs for Reuse (1995)

by Thomas Kolbe , Christoph Walther
Venue:Proc. European Conf. on Machine Learning, Heraklion
Citations:8 - 5 self