@article{BrosenneHomeisterWaack2017, author = {Henrik Brosenne and Matthias Homeister and Stephan Waack}, title = {Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance}, journal = {Information Processing Letters}, volume = {98}, number = {1}, pages = {6 -- 10}, doi = {10.1016/j.ipl.2005.11.011}, year = {2017}, }