1. Theorems and Algorithms: An Interface between Isabelle and Maple.;Ballarin;In A.H.M. Levelt, editor, Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC″95),1995
2. Specification and integration of theorem provers and computer algebra systems;Bertoli,1998
3. P.G. Bertoli. Using OMRS in practice: a case study with ACL2. PhD thesis, Computer Science Dept., University Rome 3, Rome, 1997.
4. A Computational Logic;Boyer,1979
5. A survey of the theorema project;Buchberger,1997