Boyer-Moore automation for the HOL system (1992)

by Richard J Boulton
Venue:Higher Order Logic Theorem Proving and its Applications (TPHOLS ’92), volume A-20 of IFIP Transactions