%0 Journal Article %1 journals/iandc/KennawayKSV95 %A Kennaway, Richard %A Klop, Jan Willem %A Sleep, M. Ronan %A de Vries, Fer-Jan %D 1995 %J Inf. Comput. %K dblp %N 1 %P 18-38 %T Transfinite Reductions in Orthogonal Term Rewriting Systems %U http://dblp.uni-trier.de/db/journals/iandc/iandc119.html#KennawayKSV95 %V 119

@article{journals/iandc/KennawayKSV95, added-at = {2021-02-12T00:00:00.000+0100}, author = {Kennaway, Richard and Klop, Jan Willem and Sleep, M. Ronan and de Vries, Fer-Jan}, biburl = {https://www.bibsonomy.org/bibtex/243e6ea049d9e0d05a9cbc1f522890efe/dblp}, ee = {https://doi.org/10.1006/inco.1995.1075}, interhash = {f9eb7bb4d12bd5ef4c3d1aeef6ba3182}, intrahash = {43e6ea049d9e0d05a9cbc1f522890efe}, journal = {Inf. Comput.}, keywords = {dblp}, month = May, number = 1, pages = {18-38}, timestamp = {2024-04-09T06:07:22.000+0200}, title = {Transfinite Reductions in Orthogonal Term Rewriting Systems}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc119.html#KennawayKSV95}, volume = 119, year = 1995 }