Bibliography

Anantharaman S, Hsiang J. Automated proofs of the Moufang identities in alternative rings. J. Symbolic Computation. 1990;6:79–109.

Arnon DS, Collins GE, McCallum S. Cylindrical algebraic decomposition. I. The basic algorithm. SIAM J. Comput. 1984;13(4):865–877.

Arts T, Giesl J. Termination of term rewriting using dependency pairs. Theoretical Computer Science. 2000;236:133–178.

to appear Avenhaus J, Madlener K. Term rewriting and equational reasoning. In: Banoji RB, ed. Formal Techniques in Artificial Intelligence: A Sourcebook. 1989.

Avenhaus J, Madlener K. Term rewriting and equational reasoning. In: Banerji RB, ed. Formal Techniques in Artificial Intelligence: A Sourcebook. Amsterdam: Elsevier; 1990:1–41.

Baader F, ...

Get Handbook of Automated Reasoning now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial