@misc{indiciae94fa3b5dee0f,
  title = {Tree-manipulating systems and Church-Rosser theorems.},
  author = {Rosen, B. K.},
  year = {1973},
  url = {https://ntrs.nasa.gov/citations/19730036160},
  note = {Source identifier: 19730036160}
}