%0 Journal Article %D 1995 %T An Operator for Composing Deductive Databases with Theories of Constraints %A Domenico Aquilino %A Patrizia Asirelli %A Chiara Renso %A Franco Turini %P 57–70 %G eng