Tien Huynh Leo Joskowicz Catherine Lassez Jean-Louis Lassez Reasoning About Linear Constraints Using Parametric Queries. 1-20 1990 conf/fsttcs/1990 FSTTCS db/conf/fsttcs/fsttcs90.html#HuynhJLL90 http://dx.doi.org/10.1007/3-540-53487-3_31