Henrik Brosenne Carsten Damm Matthias Homeister Stephan Waack On approximation by XOR-OBDDs. 17-21 2007 102 Inf. Process. Lett. 1 http://dx.doi.org/10.1016/j.ipl.2006.10.011 db/journals/ipl/ipl102.html#BrosenneDHW07