@inproceedings{DAgostinoEtAlITS1998,
  author =        {Marcello D'Agostino and Marco Mondadori and Ulrich Endriss and Dov Gabbay and Jeremy Pitt},
  title =         {WinKE: A Pedagogic Tool for Teaching Logic and Reasoning},
  editor =        {B.~Goettl and H.~Halff and C.~Redfield and V.~Shute},
  booktitle =     {Intelligent Tutoring Systems (ITS-1998)},
  series =        {LNCS},
  volume =        {1452},
  pages =         {605},
  publisher =     {Springer-Verlag},
  month =         {August},
  year =          {1998},
  note =          {Abstract}
}