Serge Autexier Dominik Dietrich Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. 94-109 2006 conf/mkm/2006 MKM http://dx.doi.org/10.1007/11812289_9 db/conf/mkm/mkm2006.html#AutexierD06