Theorem Proving in Type Theory.

Peter B. Andrews, Eve Longini Cohen

Browse the full IJCAI paper archive.