@InProceedings{GRV05-efficient,
  author = 	 {Geeraerts, G. and Raskin, J.-F. and {Van~Begin}, L.},
  title = 	 {Expand, Enlarge and Check... Made efficient},
  booktitle = {Poceedings of 17th International Conference on Computer Aided Verification --
	CAV 2005 },
  pages = 	 {394--404},
  year = 	 {2005},
  editor = 	 {S. K. Rajjamani and K. Etessami},
  number = 	 {3576},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer Verlag}, 
  pdf =          {http://www.ulb.ac.be/di/ssd/ggeeraer/papers/eec-cav05.pdf}
}