@inproceedings{InProc-Woe2003a, author = {Philipp Woelfel}, title = {Symbolic Topological Sorting with OBDDs}, booktitle = {Mathematical Foundations of Computer Science, 28th International Symposium (MFCS)}, pages = {671-680}, year = {2003}, series = {LNCS}, volume = {2747}, doi = {10.1007/978-3-540-45138-9_61}, }