KBlab: An Equational Theorem Prover for the Macintosh. - Maria Paola Bonacina; Giancarlo Sanna (RTA, 1989)