@conference {267,
	title = {Efficient Tight Field Bounds Computation Based on Shape Predicates},
	booktitle = {FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014.},
	year = {2014},
	doi = {10.1007/978-3-319-06410-9_36},
	url = {http://dx.doi.org/10.1007/978-3-319-06410-9_36},
	author = {Pablo Ponzio and Nicol{\'a}s Rosner and Nazareno Aguirre and Frias, Marcelo F.}
}