1. CASC-JC Theorem Proving Competition. http://www.cs.miams.edu/~tptp/CASC/JC , 2001.
2. B. Fischer and J. Schumann. AutoBayes: A System for Generating Data Analysis Programs from Statistical Models. JFP, to appear 2002. Preprint available at http://ase.arc.nasa.gov/people/fischer/papers.html .
3. T. Kaiser, B. Fischer, and W. Struckmann. “MOPS: Verifying Modula-2 programs specified in VDM-SL”. Proc. 4th Workshop Tools for System Design and Verification, pp. 163–167, 2000.
4. C. Kreitz. “Program Synthesis”. In W. Bibel and P. H. Schmitt, (eds.), Automated Deduction —A Basis for Applications, Vol III, pp. 105–134. 1998.
5. M. Moser, O. Ibens, R. Letz, J. Steinbach, C. Goller, J. Schumann, and K. Mayr. “The Model Elimination Provers SETHEO and E-SETHEO”. JAR, 18:237–246, 1997.