1. L. Bachmair. Proof by consistency in equational theories. In Proceedings 3rd IEEE Symposium on Logic in Computer Science, Cambridge (Mass., USA), pages 228–233, 1988.
2. K. Becker. Inductive Proofs in Specifications Parameterized by a Built-in Theory. SEKI-Report, SR-92-02, 1992.
3. A. Bouhoula, E. Kounalis, and M. Rusinowitch. Automated mathematical induction. Technical Report 1636, INRIA, 1992.
4. A. Bouhoula and M. Rusinowitch. Automatic Case Analysis in Proof by Induction. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, volume 1, page 88–94. Chambéry France, 1993.
5. A. Bouhoula and M. Rusinowitch. Implicit Induction in Conditional Theories. Journal of Automated Reasoning, accepted in June 1994. To appear.