@article{Art-NW2009a, author = {Robin Nunkesser and Philipp Woelfel}, title = {Representation of graphs by OBDDs}, pages = {247-261}, year = {2009}, volume = {157}, doi = {10.1016/j.dam.2008.02.012}, }