D.  Aquilino, Asirelli, P., Renso, C., and Turini, F., ?An Operator for Composing Deductive Databases with Theories of Constraints?, in LPNMR, 1995, pp. 57-70.