Jean-Louis Lassez Ken McAloon A Canonical Form for Generalized Linear Constraints. 1-24 1992 13 J. Symb. Comput. 1 db/journals/jsc/jsc13.html#LassezM92