Variable elimination for generalized linear constraints (1993)

by J-L Imbert
Venue:Proceedings of the Tenth International Conference on Logic Programming