@article {AART95, title = {An Operator for Composing Deductive Databases with Theories of Constraints}, year = {1995}, note = {Logic Programming and Nonmonotonic Reasoning, Third International Conference Lecture Notes in Computer Science vol 928,}, pages = {57{\textendash}70}, author = {Domenico Aquilino and Patrizia Asirelli and Chiara Renso and Franco Turini} }