@InProceedings{LVBDD10,
  author = 	 {Geeraerts, G. and Kalyon, G. and Le Gall, T. and Maquet, N. and Raskin, J.F.},
  title = 	 {Lattice-Valued Binary Decision Diagrams},
 
  booktitle = {Proceedings of ATVA 2010, 8th international symposium on {A}utomated {T}echnology for {V}erification and {A}nalysis},
  pages = 	 {158--172},
  year = 	 {2010},
  editor = 	 {Springer},
  volume = 	 {6252},
  series = 	 {Lecture Notes in Computer Science},
  url = {http://www.ulb.ac.be/di/ssd/ggeeraer/papers/LVBDD.pdf}
}