%0 Journal Article %1 journals/tkde/SunW94 %A Sun, Wei %A Weiss, Mark Allen %D 1994 %J IEEE Trans. Knowl. Data Eng. %K dblp %N 6 %P 997-1001 %T An Improved Algorithm for Implication Testing Involving Arithmetic Inequalities. %U http://dblp.uni-trier.de/db/journals/tkde/tkde6.html#SunW94 %V 6

@article{journals/tkde/SunW94, added-at = {2015-09-08T00:00:00.000+0200}, author = {Sun, Wei and Weiss, Mark Allen}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f4509564805d83529ccbd240114cb128/dblp}, cdrom = {TKDE6/P0997.pdf}, cite = {journals/tkde/YuS89}, ee = {http://doi.ieeecomputersociety.org/10.1109/69.334889}, interhash = {2a6200c716282b23e30c994c9d7e7761}, intrahash = {f4509564805d83529ccbd240114cb128}, journal = {IEEE Trans. Knowl. Data Eng.}, keywords = {dblp}, number = 6, pages = {997-1001}, timestamp = {2016-02-02T00:49:45.000+0100}, title = {An Improved Algorithm for Implication Testing Involving Arithmetic Inequalities.}, url = {http://dblp.uni-trier.de/db/journals/tkde/tkde6.html#SunW94}, volume = 6, year = 1994 }