Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding. Algebraic Proof Assistants in HOL. In Bernhard Möller, editor, Mathematics of Program Construction, MPC 95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings. Volume 947 of Lecture Notes in Computer Science, pages 304-321, Springer, 1995.
Abstract is missing.