Against the Anti Waltz Effect in Equality Reasoning

Karl-Hans Bläsius. Against the Anti Waltz Effect in Equality Reasoning. In Claus-Rainer Rollinger, Werner Horn, editors, GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings. Volume 124 of Informatik-Fachberichte, pages 230-241, Springer, 1986.

@inproceedings{Blasius86,
  title = {Against the   Anti Waltz Effect   in Equality Reasoning},
  author = {Karl-Hans Bläsius},
  year = {1986},
  researchr = {https://researchr.org/publication/Blasius86},
  cites = {0},
  citedby = {0},
  pages = {230-241},
  booktitle = {GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings},
  editor = {Claus-Rainer Rollinger and Werner Horn},
  volume = {124},
  series = {Informatik-Fachberichte},
  publisher = {Springer},
  isbn = {3-540-16808-7},
}