%0 Journal Article %1 journals/jacm/Sethi74 %A Sethi, Ravi %D 1974 %J J. ACM %K dblp %N 4 %P 671-679 %T Testing for the Church-Rosser Property. %U http://dblp.uni-trier.de/db/journals/jacm/jacm21.html#Sethi74 %V 21

@article{journals/jacm/Sethi74, added-at = {2018-11-06T00:00:00.000+0100}, author = {Sethi, Ravi}, biburl = {https://www.bibsonomy.org/bibtex/2d9d2d0cce4c9e9f6d47982239c399eab/dblp}, ee = {https://doi.org/10.1145/321850.321862}, interhash = {d248e19172d03c48b86ec3c7c5bc089d}, intrahash = {d9d2d0cce4c9e9f6d47982239c399eab}, journal = {J. ACM}, keywords = {dblp}, number = 4, pages = {671-679}, timestamp = {2018-11-07T12:09:59.000+0100}, title = {Testing for the Church-Rosser Property.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm21.html#Sethi74}, volume = 21, year = 1974 }