The Boyer-Moore Theorem (1995)

by R S Boyer, M Kaufmann, J S Moore
Venue:Prover and Its Interactive Enhancements. Computers and Mathematics with Applications