Peter J. Robinson John Staples Formalizing a Hierarchical Structure of Practical Mathematical Reasoning. 47-61 1993 3 J. Log. Comput. 1 db/journals/logcom/logcom3.html#RobinsonS93