@INPROCEEDINGS{TinHar-CP-96,
 author		= {Cesare Tinelli and Mehdi T.~Harandi},
 title		= {Constraint Logic Programming over Unions of 
		   Constraint Theories},
 editor		= {E.~C.~Freuder},
 booktitle 	= {Proceedings of the 2nd International Conference on
		   Principles and Practice of Constraint Programming,
		   (Cambridge, MA, USA)},
 month		= aug,
 year		= 1996,
 publisher	= {Springer-Verlag},
 series		= {Lecture Notes in Computer Science},  
 volume		= {1118}, 
 url		= {http://www.cs.uiowa.edu/~tinelli/papers.html},
 pages		= {436--450},
}