Binary decision diagrams as a HOL derived rule (1995)

by J Harrison
Venue:The Computer Journal