et al. Re BDDs in Coq (2000)

by K N Verma
Venue:Proc. 6th Asian Computing Science Conference (ASIAN), volume 1961 of LNCS