Complete integer decision procedures as derived rules in HOL (2003)

by Michael Norrish
Venue:Theorem Proving in Higher Order Logics, TPHOLs 2003, volume 2758 of Lect. Notes in Comp. Sci
Citations:10 - 0 self