The Boyer-Moore Theorem (1995)

by Robert Boyer, Matt Kaufmann, J Moore
Venue:Prover and Its Interactive Enhancement, Computers and Mathematics with Applications