Reachability Programming in HOL98 Using BDDs (2000)

by M Gordon
Venue:In Theorem Proving and Higher Order Logics, volume 1869 of LNCS