Microcomputer Translation for Medical Text: Theorem Verification for Chapter Two of Zeman’s Modal Logic. Adv. Math. Comput. Med. (In press) - Moore, G. W; Miller, R. E; Hutchins, G. M