Yusuke Baba Masakazu Suzuki An Annotated Corpus and a Grammar Model of Theorem Description. 93-104 2003 conf/mkm/2003 MKM http://link.springer.de/link/service/series/0558/bibs/2594/25940093.htm db/conf/mkm/mkm2003.html#BabaS03