Stéphane Grumbach Jianwen Su Christophe Tollu Linear Constraint Query Languages: Expressive Power and Complexity. 426-446 1994 conf/lcc/1994 LCC db/conf/lcc/lcc94.html#GrumbachST94