Foto N. Afrati Theodoros Andronikos Theodoros G. Kavalieros On the Expressiveness of First-Order Constraint Languages. 22-39 1995 conf/cdb/1995 CDB db/conf/cdb/cdb95.html#AfratiAK95