%0 Journal Article %1 journals/fuin/HuynhJLL91 %A Huynh, Tien %A Joskowicz, Leo %A Lassez, Catherine %A Lassez, Jean-Louis %D 1991 %J Fundam. Informaticae %K dblp %N 3-4 %P 357-380 %T Practical tools for reasoning about linear constraints. %U http://dblp.uni-trier.de/db/journals/fuin/fuin15.html#HuynhJLL91 %V 15

@article{journals/fuin/HuynhJLL91, added-at = {2020-09-18T00:00:00.000+0200}, author = {Huynh, Tien and Joskowicz, Leo and Lassez, Catherine and Lassez, Jean-Louis}, biburl = {https://www.bibsonomy.org/bibtex/22bc55d568dc728b8cf78daee36022ba5/dblp}, interhash = {ed5f67c3c0874c7da0e8c4ef2770cfd2}, intrahash = {2bc55d568dc728b8cf78daee36022ba5}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {3-4}, pages = {357-380}, timestamp = {2020-09-19T11:38:34.000+0200}, title = {Practical tools for reasoning about linear constraints.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin15.html#HuynhJLL91}, volume = 15, year = 1991 }