%0 Conference Paper %1 conf/rta/RameshR91 %A Ramesh, R. %A Ramakrishnan, I. V. %B RTA %D 1991 %E Book, Ronald V. %I Springer %K dblp %P 335-347 %T Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems. %U http://dblp.uni-trier.de/db/conf/rta/rta91.html#RameshR91 %V 488 %@ 3-540-53904-2

@inproceedings{conf/rta/RameshR91, added-at = {2019-07-26T00:00:00.000+0200}, author = {Ramesh, R. and Ramakrishnan, I. V.}, biburl = {https://www.bibsonomy.org/bibtex/2e4ac2fb8985ee706ea54d9b2b57c7cff/dblp}, booktitle = {RTA}, crossref = {conf/rta/1991}, editor = {Book, Ronald V.}, ee = {https://doi.org/10.1007/3-540-53904-2_108}, interhash = {982011532eb41dd813725d1d53ba66ca}, intrahash = {e4ac2fb8985ee706ea54d9b2b57c7cff}, isbn = {3-540-53904-2}, keywords = {dblp}, pages = {335-347}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-07-27T11:39:42.000+0200}, title = {Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta91.html#RameshR91}, volume = 488, year = 1991 }