J. Auer, and R. Hall. Australian Conference on Artificial Intelligence, volume 3339 of Lecture Notes in Computer Science, page 414-424. Springer, (2004)
A. Rauh, and E. Auer. Computer-assisted proofs - tools, methods and applications, volume 09471 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)
E. Auer, A. Kecskeméthy, M. Tändl, and H. Traczinski. Numerical Software with Result Verification, volume 2991 of Lecture Notes in Computer Science, page 132-159. Springer, (2003)