Philipp Woelfel Symbolic topological sorting with OBDDs. 51-71 2006 4 J. Discrete Algorithms 1 http://dx.doi.org/10.1016/j.jda.2005.01.008 db/journals/jda/jda4.html#Woelfel06