Satish R. Thatte. Finite Acyclic Theories are Unitary. Journal of Symbolic Computation, 15(2):235-249, 1993.
@article{Thatte93,
title = {Finite Acyclic Theories are Unitary},
author = {Satish R. Thatte},
year = {1993},
researchr = {https://researchr.org/publication/Thatte93},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {15},
number = {2},
pages = {235-249},
}