Serge Autexier Armin Fiedler Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. 96-110 2005 conf/mkm/2005 MKM http://dx.doi.org/10.1007/11618027_7 db/conf/mkm/mkm2005.html#AutexierF05