Reflecting BDDs in Coq (2000)

by Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S Arun-Kumar
Venue:In Proc. ASIAN, volume 1961 of LNCS