Rolf Drechsler, Martin Sauerhoff, Detlef Sieling. The complexity of the inclusion operation on OFDD s. IEEE Trans. on CAD of Integrated Circuits and Systems, 17(5):457-459, 1998. [doi]
@article{DrechslerSS98, title = {The complexity of the inclusion operation on OFDD s}, author = {Rolf Drechsler and Martin Sauerhoff and Detlef Sieling}, year = {1998}, doi = {10.1109/43.703943}, url = {http://doi.ieeecomputersociety.org/10.1109/43.703943}, researchr = {https://researchr.org/publication/DrechslerSS98}, cites = {0}, citedby = {0}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, volume = {17}, number = {5}, pages = {457-459}, }