@article{BrosenneDammHomeisteretal.2017, author = {Henrik Brosenne and Carsten Damm and Matthias Homeister and Stephan Waack}, title = {On approximation by ⊕-OBDDs}, journal = {Information Processing Letters}, volume = {102}, number = {1}, pages = {17 -- 21}, doi = {10.1016/j.ipl.2006.10.011}, year = {2017}, }