A Model of Analogy-Driven Proof-Plan Construction.

Erica Melis

Browse the full IJCAI paper archive.