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