@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} } @article{Homeister2006, author = {Homeister, Matthias}, title = {Lower bounds for restricted read-once parity branching programs}, series = {Theoretical Computer Science}, volume = {359}, journal = {Theoretical Computer Science}, number = {1-3}, issn = {0304-3975; 1879-2294}, doi = {10.1016/j.tcs.2006.01.052}, pages = {1 -- 14}, year = {2006}, language = {en} } @article{BrosenneHomeisterWaack2006, author = {Brosenne, Henrik and Homeister, Matthias and Waack, Stephan}, title = {Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance}, series = {Information Processing Letters}, volume = {98}, journal = {Information Processing Letters}, number = {1}, issn = {1872-6119 (Online)}, doi = {10.1016/j.ipl.2005.11.011}, pages = {6 -- 10}, year = {2006}, language = {en} }