A Proof-Theoretic Approach to Hierarchical Math Library Organization [chapter]

Kamal Aboul-Hosn, Terese Damhøj Andersen
2006 Lecture Notes in Computer Science  
doi:10.1007/11618027_1 fatcat:pyxfr6f4fvcavfw74kbxfqpcli