HOL90: not just an ugly rumor (1991)

by Konrad Slind
Venue:In Proc. of the 1991 Int'l. Workshop on the HOL Theorem Proving System and its Applications