A Proof-Theoretic Approach to Hierarchical Math Library Organization. - Kamal Aboul-Hosn; Terese Andersen (MKM, 2005)