The Boyer-Moore prover and NUPRL an experimental comparison - Basin, David; Kaufmann, Matt (1991)