@article{Art-Woe2006a, author = {Philipp Woelfel}, title = {Symbolic Topological Sorting with OBDDs}, pages = {51-71}, year = {2006}, volume = {4}, doi = {10.1016/j.jda.2005.01.008}, }