Theorem Proving with Structure Sharing and Efficient Unification.

Alberto Martelli, Ugo Montanari

Browse the full IJCAI paper archive.