Journal of the ACM Bibliography

Ravi Sethi. Testing for the Church-Rosser property. Journal of the ACM, 21(4):671-679, October 1974. [BibTeX entry]
Additional Key Words and Phrases: Church-Rosser systems, combinatorial theories

Selected papers that cite this one

Selected references


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database