@INBOOK{ICINCO08book, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Nadia Lauri and  Daniele Magazzeni},
	chapter = {Fast and Compact Encoding of Numerical Controllers Using OBDDs}, 
	title = {Informatics in Control, Automation and Robotics},
	editor = {Springer-Verlag},
	
	pages = {75--87},
	year = {2009},
	month = {4},
}