Sean Weaver, John V. Franco, John S. Schlipf. Extending Existential Quantification in Conjunctions of BDDs. JSAT, 1(2):89-110, 2006. [doi]
@article{WeaverFS06,
title = {Extending Existential Quantification in Conjunctions of BDDs},
author = {Sean Weaver and John V. Franco and John S. Schlipf},
year = {2006},
url = {http://jsat.ewi.tudelft.nl/content/volume1/JSAT1_4_Weaver.pdf},
researchr = {https://researchr.org/publication/WeaverFS06},
cites = {0},
citedby = {0},
journal = {JSAT},
volume = {1},
number = {2},
pages = {89-110},
}