@InProceedings{Woelfel_2003,
  author = 	 {Philipp Woelfel},
  title = 	 {Symbolic Topological Sorting with {OBDD}s},
  year =	 2003,
  booktitle = 	 {Proceedings of the the 28th International Symposium on 
                  Mathematical Foundations of Computer Science},
  pages =        {671-680}
}