Binary Decision Diagrams as a HOL Derived Rule (1995)

by J Harrison
Venue:The Computer Journal