Paris C. Kanellakis Dina Q. Goldin Constraint Programming and Database Query Languages. 96-120 1994 conf/tacs/1994 TACS db/conf/tacs/tacs94.html#KanellakisG94