%0 Conference Paper %1 conf/mfcs/InverardiN91 %A Inverardi, Paola %A Nesi, Monica %B MFCS %D 1991 %E Tarlecki, Andrzej %I Springer %K dblp %P 231-239 %T Infinite Normal Forms for Non-Linear Term Rewriting Systems. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs91.html#InverardiN91 %V 520 %@ 3-540-54345-7

@inproceedings{conf/mfcs/InverardiN91, added-at = {2017-03-20T00:00:00.000+0100}, author = {Inverardi, Paola and Nesi, Monica}, biburl = {https://www.bibsonomy.org/bibtex/2adbd14130fde8202923100b446406901/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/1991}, editor = {Tarlecki, Andrzej}, ee = {http://dx.doi.org/10.1007/3-540-54345-7_66}, interhash = {ecbf5361d4783b4406524a8cb43570cd}, intrahash = {adbd14130fde8202923100b446406901}, isbn = {3-540-54345-7}, keywords = {dblp}, pages = {231-239}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-03-21T11:39:35.000+0100}, title = {Infinite Normal Forms for Non-Linear Term Rewriting Systems.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs91.html#InverardiN91}, volume = 520, year = 1991 }