Nikos I. Karacapilidis Manolis Tzagarakis Supporting Incremental Formalization in Collaborative Learning Environments. 127-142 2007 conf/ectel/2007 EC-TEL http://dx.doi.org/10.1007/978-3-540-75195-3_10 db/conf/ectel/ectel2007.html#KaracapilidisT07