Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs.

Thomas Kolbe, Christoph Walther

Browse the full IJCAI paper archive.