TY - JOUR T1 - An Operator for Composing Deductive Databases with Theories of Constraints Y1 - 1995 A1 - Domenico Aquilino A1 - Patrizia Asirelli A1 - Chiara Renso A1 - Franco Turini N1 - Logic Programming and Nonmonotonic Reasoning, Third International Conference Lecture Notes in Computer Science vol 928, ER -