1. Agerholm, S. and J. Frost: 1997, `An Isabelle-based Theorem Prover for VDMSL’. In: Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics (TPHOLs’97). Springer.
2. Bachmair, L. and H. Ganzinger: 1994, ‘Rewrite-based Equational Theorem Proving with Selection and Simplification’. Joural of Logic and Computation 4 (3), 217–247.
3. Barringer, H., J. H. Cheng, and C. B. Jones: 1984, `A Logic Covering Undefinedness in Program Proofs’. Acta Informatica 21 (3), 251–269.
4. Baumgartner, P. and U. Furbach: 1994, `PROTEIN: A PROver with a Theory Extension INterface’. in (Bundy, 1994), pp. 769–773, Springer.
5. Beckert, B., S. Gerberding, R. Hähnle, and W. Kernig: 1991, `The Tableau-Based Theorem Prover 37AP for Multiple-Valued Logics’. In: D. Kapur (ed.): Proc. 11th Intl. Conf Automated Deduction, Vol. 607 of Lecture Notes in Artifical Intelligence. pp. 758–760, Springer.