Tien Huynh Leo Joskowicz Catherine Lassez Jean-Louis Lassez Practical tools for reasoning about linear constraints. 357-380 1991 15 Fundam. Inform. 3-4 db/journals/fuin/fuin15.html#HuynhJLL91