@book{
183-595126790,
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},
editor = {Rusinowitch, Michaël},
address = {Berlin u.a.},
publisher = {Springer},
year = {1993},
isbn = {9783540475491},
language = {English},
note = {Literaturangaben},
url = {http://www.springerlink.com/content/w2pj703818x7},
url = {http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-56393-8},
url = {http://dx.doi.org/10.1007/3-540-56393-8},
url = {https://doi.org/10.1007/3-540-56393-8},
url = {https://zbmath.org/?q=an:0825.00125},
url = {https://katalog.fid-bbi.de/Record/183-595126790}
}