The GAZER Theorem Prover. - Dave Barker-Plummer; Alex Rothenberg (CADE, 1992)