The Boyer–Moore theorem prover and its interactive enhancement (1995)

by R Boyer, M Kaufmann, J Moore
Venue:Computers and Mathematics with Applications