@inproceedings{EndrissICCE1999,
  author =        {Ulrich Endriss},
  title =         {Using Interaction and Visualisation for Teaching Deductive Reasoning},
  editor =        {G.~Cumming and T.~Okamoto and L.~Gomez},
  booktitle =     {Advanced Research in Computers and Communications in Education, Proceedings of ICCE-1999, Tokyo},
  series =        {Frontiers in Artificial Intelligence and Applications},
  volume =        {55-2},
  pages =         {317--320},
  publisher =     {IOS Press},
  month =         {November},
  year =          {1999}
}