1. Baaz, M., Quirchmayr, G.: Logic-based models of analogical reasoning. In: Expert Systems with Applications, vol. 4, pp. 369–378. Pergamon Press, Oxford (1992)
2. Lecture Notes in Computer Science;M. Baaz,1995
3. Baaz, M., Zach, R.: Generalizing theorems in real closed fields. Ann. Pure Appl. Logic 75, 3–23 (1995)
4. Claredon Law Series;R. Cross,1991
5. Euler, L.: Opera Omnia, ser. 1, vol. 14, 73–86, 138–155, 177–186