@book{
183-12087704X,
title = {Conditional term rewriting systems: third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings},
series = {},
series = {656},
author = {Rusinowitch, Michaël and Rusinovič, Michail},
editor = {Rusinowitch, Michaël},
editor = {Rusinovič, Michail},
address = {Berlin},
publisher = {Springer-Verl.},
year = {1993},
isbn = {3540563938},
isbn = {0387563938},
language = {English},
note = {Literaturangaben},
url = {https://swbplus.bsz-bw.de/bsz031812538cov.jpg},
url = {https://zbmath.org/?q=an:0825.00125},
url = {https://katalog.fid-bbi.de/Record/183-12087704X}
}