Beate Bollig Niko Range Ingo Wegener Exact OBDD Bounds for Some Fundamental Functions. 174-185 2008 conf/sofsem/2008 SOFSEM http://dx.doi.org/10.1007/978-3-540-77566-9_15 db/conf/sofsem/sofsem2008.html#BolligRW08