Publisher
Springer International Publishing
Reference15 articles.
1. Baader, F., Snyder, W.: Unification Theory. In: Handbook of Automated Reasoning. Elsevier Science Publishers (2001)
2. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1998)
3. Boyer, R., Moore, J S.: Single-Threaded objects in ACL2 (1999),
http://www.cs.utexas.edu/users/moore/publications/stobj/main.pdf
4. Buchberger, B.: Bruno Buchberger’s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Journal of Symbolic Computation 41(3-4), 475–511 (2006)
5. Dousson, X., Rubio, J., Sergeraert, F., Siret, Y.: The Kenzo Program, Institut Fourier (1999),
http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/