Winkler89'

@inproceedings{DBLP:conf/ogai/Winkler89,
  author    = {Franz Winkler},
  title     = {Equational Theorem Proving and Rewrite Rule Systems},
  booktitle = {{\"O}GAI},
  year      = {1989},
  pages     = {26-39},
  crossref  = {DBLP:conf/ogai/1989},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ogai/1989,
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {5. {\"O}sterreichische Artificial Intelligence-Tagung,
               Igls, Tirol, 28. bis 30. September 1989, Proceedings},
  booktitle = {{\"O}GAI},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  year      = {1989},
  isbn      = {3-540-51039-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}