Reflecting BDDs in Coq (2000)

by Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S Arun-Kumar
Venue:Advances in Computing Science - 6th Asian Computing Science Conference (ASIAN), volume 1961 of LNCS