Algebraic Proof Assistants in HOL. - Rix Groenboom; Chris Hendriks; Indra Polak; Jan Terlouw; Jan Tijmen Udding (MPC, 1995)