Title: The Church Rosser property in computer algebra and special theorem proving
First published: 1984
Subjects: Algebra, Universal, Automatic theorem proving, Computer algorithms, Data processing, Universal Algebra
LC classification: QA251 .W677 1984