Paris C. Kanellakis Gabriel M. Kuper Peter Z. Revesz Constraint Query Languages. 26-52 1995 51 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss51.html#KanellakisKR95