A. Ghazal Aris M. Ouksel Termination of programs in constraint query languages. 266-270 1994 SAC http://doi.acm.org/10.1145/326619.326744 db/conf/sac/sac1994.html#GhazalO94