Henrik Brosenne Matthias Homeister Stephan Waack Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance. 6-10 2006 98 Inf. Process. Lett. 1 http://dx.doi.org/10.1016/j.ipl.2005.11.011 db/journals/ipl/ipl98.html#BrosenneHW06