@inproceedings{DAgostinoEndrissLD1998,
  author =        {Marcello D'Agostino and Ulrich Endriss},
  title =         {WinKE: A Proof Assistant for Teaching Logic},
  booktitle =     {First International Workshop on Labelled Deduction},
  organization =  {University of Freiburg},
  month =         {September},
  year =          {1998}
}