Reachability programming in HOL98 using BDDs (2000)

by Michael J C Gordon
Venue:Theorem Proving in Higher Order Logics, 13th International Conference: TPHOLs 2000, volume 1869 of Lecture Notes in Computer Science