@article{BrosenneDammHomeisteretal.2007, author = {Brosenne, Henrik and Damm, Carsten and Homeister, Matthias and Waack, Stephan}, title = {On approximation by ⊕-OBDDs}, series = {Information Processing Letters}, volume = {102}, journal = {Information Processing Letters}, number = {1}, issn = {1872-6119 (Online)}, doi = {10.1016/j.ipl.2006.10.011}, pages = {17 -- 21}, year = {2007}, language = {en} }