The Romulus Proof Checker. - Carl Eichenlaub; Bruce Esrig; James Hook; Carl Klapper; Garrel Pottinger (CADE, 1990)