TY - CONF T1 - An Operator for Composing Deductive Databases with Theories of Constraints T2 - LPNMR Y1 - 1995 A1 - Domenico Aquilino A1 - Patrizia Asirelli A1 - Chiara Renso A1 - Franco Turini JF - LPNMR ER -