Finite Acyclic Theories are Unitary

Satish R. Thatte. Finite Acyclic Theories are Unitary. Journal of Symbolic Computation, 15(2):235-249, 1993.

Abstract

Abstract is missing.