\bibitem{mauborgne99} {\sc Mauborgne, L.} \newblock Binary decision graphs. \newblock In {\em Static Analyis Symposium (SAS'99)\/} (1999), A.~Cortesi and G.~Fil{\'e}, Eds., vol.~1694 of {\em Lecture Notes in Computer Science}, Springer-Verlag, pp.~101--116. @inproceedings{mauborgne99, author = "Laurent Mauborgne", title = "Binary Decision Graphs", booktitle = "Static Analyis Symposium (SAS'99)", year = 1999, volume = 1694, editor = "A. Cortesi and G. Fil{\'e}", pages = "101--116", series = "Lecture Notes in Computer Science", publisher = "Springer-Verlag" }