Heinrich Hußmann. Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. Journal of Logic and Algebraic Programming, 12(3&4):237-255, 1992.
No references recorded for this publication.
No citations of this publication recorded.