%0 Conference Paper %1 conf/aiia/BottaGP97 %A Botta, Marco %A Giordana, Attilio %A Piola, Roberto %B AI*IA %D 1997 %E Lenzerini, Maurizio %I Springer %K dblp %P 13-23 %T Refining Numerical Terms in Horn Clauses. %U http://dblp.uni-trier.de/db/conf/aiia/aiia1997.html#BottaGP97 %V 1321 %@ 3-540-63576-9

@inproceedings{conf/aiia/BottaGP97, added-at = {2017-05-23T00:00:00.000+0200}, author = {Botta, Marco and Giordana, Attilio and Piola, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/2dafb5c30901a08948f27c811ee827ff7/dblp}, booktitle = {AI*IA}, crossref = {conf/aiia/1997}, editor = {Lenzerini, Maurizio}, ee = {https://doi.org/10.1007/3-540-63576-9_92}, interhash = {81f41e17c1f32a39b082b926ded791f7}, intrahash = {dafb5c30901a08948f27c811ee827ff7}, isbn = {3-540-63576-9}, keywords = {dblp}, pages = {13-23}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:27:27.000+0200}, title = {Refining Numerical Terms in Horn Clauses.}, url = {http://dblp.uni-trier.de/db/conf/aiia/aiia1997.html#BottaGP97}, volume = 1321, year = 1997 }