%0 Conference Paper %1 conf/wclp/LassezHM91 %A Lassez, Jean-Louis %A Huynh, Tien %A McAloon, Ken %B WCLP %D 1991 %E Benhamou, Frédéric %E Colmerauer, Alain %I MIT Press %K dblp %P 73-87 %T Simplification and Elimination of Redundant Linear Arithmetic Constraints. %U http://dblp.uni-trier.de/db/conf/wclp/wclp91.html#LassezHM91 %@ 0-262-02353-9

@inproceedings{conf/wclp/LassezHM91, added-at = {2019-07-30T00:00:00.000+0200}, author = {Lassez, Jean-Louis and Huynh, Tien and McAloon, Ken}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21d694ad307bdcd9dbd8395b5fbcff0e4/dblp}, booktitle = {WCLP}, crossref = {conf/wclp/1991}, editor = {Benhamou, Frédéric and Colmerauer, Alain}, interhash = {329899c8c2ac6d30c0773dd041dcaf7e}, intrahash = {1d694ad307bdcd9dbd8395b5fbcff0e4}, isbn = {0-262-02353-9}, keywords = {dblp}, pages = {73-87}, publisher = {MIT Press}, timestamp = {2019-09-27T18:51:59.000+0200}, title = {Simplification and Elimination of Redundant Linear Arithmetic Constraints.}, url = {http://dblp.uni-trier.de/db/conf/wclp/wclp91.html#LassezHM91}, year = 1991 }