@inproceedings{EndrissTools2000,
  author =        {Ulrich Endriss},
  title =         {The Interactive Learning Environment WinKE for Teaching Deductive Reasoning},
  editor =        {M.~Manzano},
  booktitle =     {Proceedings of the 1st International Congress on Tools for Teaching Logic},
  organization =  {University of Salamanca},
  month =         {June},
  year =          {2000},
  note =          {Invited talk abstract}
}