Jürgen Müller, Elvira Wagner. Effiziente Reduktionsstrategien in Termersetzunssystemen. 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 242-253, Springer, 1986.
@inproceedings{MullerW86,
title = {Effiziente Reduktionsstrategien in Termersetzunssystemen},
author = {Jürgen Müller and Elvira Wagner},
year = {1986},
researchr = {https://researchr.org/publication/MullerW86},
cites = {0},
citedby = {0},
pages = {242-253},
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},
}