Reachability Programming in HOL98 Using BDDs. Theorem Proving and Higher Order Logics, LNCS 1125 (0)

by M Gordon