%0 Conference Paper %1 conf/pods/BrodskyS91 %A Brodsky, Alexander %A Sagiv, Yehoshua %B PODS %D 1991 %E Rosenkrantz, Daniel J. %I ACM Press %K dblp %P 227-240 %T Inference of Inequality Constraints in Logic Programs. %U http://dblp.uni-trier.de/db/conf/pods/pods91.html#BrodskyS91 %@ 0-89791-430-9

@inproceedings{conf/pods/BrodskyS91, added-at = {2018-11-06T00:00:00.000+0100}, author = {Brodsky, Alexander and Sagiv, Yehoshua}, biburl = {https://www.bibsonomy.org/bibtex/2f0fbf9802dd252b3dfb7b4ac47a5e8e0/dblp}, booktitle = {PODS}, cdrom = {journals/anthology/dvd1:text/1-3/PODS91/P227.PDF}, cite = {conf/iclp/Zaniolo88}, crossref = {conf/pods/91}, editor = {Rosenkrantz, Daniel J.}, ee = {https://doi.org/10.1145/113413.113434}, interhash = {d56d13aae0dc4e5fe823c95da257c111}, intrahash = {f0fbf9802dd252b3dfb7b4ac47a5e8e0}, isbn = {0-89791-430-9}, keywords = {dblp}, pages = {227-240}, publisher = {ACM Press}, timestamp = {2018-11-07T14:07:23.000+0100}, title = {Inference of Inequality Constraints in Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/pods/pods91.html#BrodskyS91}, year = 1991 }