1. Aiba, A., Hasegawa, R.: Constraint Logic Programming System - CAL, GDCC and Their Constraint Solvers. In: Proc. of the Conference on Fifth Generation Computer Systems, ICOT, pp. 113–131 (1992)
2. Bartle, R.G., Sherbert, D.R.: Introduction to Real Analysis. John Wiley& Sons, New York (1982)
3. Benzmueller, C., Cheikhrouhou, L., Fehrer, D., Fiedler, A., Huang, X., Kerber, M., Kohlhase, M., Konrad, K., Meier, A., Melis, E., Schaarschmidt, W., Siekmann, J., Sorge, V.: OMEGA: Towards a Mathematical Assistant. In: McCune, W. (ed.) CADE 1997. LNCS, vol. 1249. Springer, Heidelberg (1997)
4. Boyer, R.S., Moore, J.S.: Integrating Decision Procedures into Heuristic Theorem Provers: A Case Study of Linear Arithmetic. Machine Intelligence (Logic and the Acquisition of Knowledge) 11 (1988)
5. Bundy, A.: The Use of Explicit Plans to Guide Inductive Proofs. In: Lusk, E., Overbeek, R. (eds.) CADE 1988. LNCS, vol. 310. Springer, Heidelberg (1988)