Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger: The Romulus Proof Checker. CADE 1990: 651-652