Binary decision diagrams as a hol derived rule (1994)

by J Harrison
Venue:Higher Order Logic Theorem Proving and Its Applications