An Operator for Composing Deductive Databases with Theories of Constraints.

Domenico Aquilino Patrizia Asirelli Chiara Renso Franco Turini An Operator for Composing Deductive Databases with Theories of Constraints. 57-70 1995 conf/lpnmr/1995 LPNMR db/conf/lpnmr/lpnmr95.html#AquilinoART95