A canonical form for generalized linear constraints (1992)

by J-L Lassez, K McAloon
Venue:Journal of Symbolic Computation