Marcello D'Agostino Marco Mondadori Ulrich Endriss Dov M. Gabbay Jeremy Pitt WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. 605 http://dx.doi.org/10.1007/3-540-68716-5_69 1998 conf/its/1998 Intelligent Tutoring Systems db/conf/its/its1998.html#DAgostinoMEGP98