of Automated Reasoning, Special Issue on Formalised Mathematical Theories (1994)

by T F Melham
Venue:in HOL. Nordic Journal of Computing