@book{
183-1649297009,
title = {Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings},
series = {},
series = {656},
author = {Rusinowitch, Michael and Remy, Jean-Luc},
editor = {Remy, Jean-Luc},
address = {Berlin, Heidelberg},
publisher = {Springer Berlin Heidelberg},
year = {1993},
isbn = {9783540475491},
language = {English},
url = {https://doi.org/10.1007/3-540-56393-8},
url = {https://swbplus.bsz-bw.de/bsz322905311cov.jpg},
url = {https://zbmath.org/?q=an:0825.00125},
url = {https://katalog.fid-bbi.de/Record/183-1649297009}
}