Andrea Asperti Claudio Sacerdoti Coen Enrico Tassi Stefano Zacchiroli User Interaction with the Matita Proof Assistant. 109-139 2007 39 J. Autom. Reasoning 2 http://dx.doi.org/10.1007/s10817-007-9070-5 db/journals/jar/jar39.html#AspertiCTZ07