A Proof-Theoretic Approach to Mathematical Knowledge Management (2007)

by K Aboul-Hosn