%0 Conference Paper %1 conf/ctrs/InverardiN92 %A Inverardi, Paola %A Nesi, Monica %B CTRS %D 1992 %E Rusinowitch, Michaël %E Rémy, Jean-Luc %I Springer %K dblp %P 458-467 %T A Strategy to Deal with Divergent Rewrite Systems. %U http://dblp.uni-trier.de/db/conf/ctrs/ctrs92.html#InverardiN92 %V 656 %@ 3-540-56393-8

@inproceedings{conf/ctrs/InverardiN92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Inverardi, Paola and Nesi, Monica}, biburl = {https://www.bibsonomy.org/bibtex/2c5007d14f5ea6462594c11d1f8c26009/dblp}, booktitle = {CTRS}, crossref = {conf/ctrs/1992}, editor = {Rusinowitch, Michaël and Rémy, Jean-Luc}, ee = {https://doi.org/10.1007/3-540-56393-8_37}, interhash = {c11df70873428e4bda6064ea3d705ce6}, intrahash = {c5007d14f5ea6462594c11d1f8c26009}, isbn = {3-540-56393-8}, keywords = {dblp}, pages = {458-467}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-09T11:47:27.000+0200}, title = {A Strategy to Deal with Divergent Rewrite Systems.}, url = {http://dblp.uni-trier.de/db/conf/ctrs/ctrs92.html#InverardiN92}, volume = 656, year = 1992 }