@conference {DBLP:conf/lpnmr/AquilinoART95, title = {An Operator for Composing Deductive Databases with Theories of Constraints}, booktitle = {LPNMR}, year = {1995}, pages = {57-70}, author = {Domenico Aquilino and Patrizia Asirelli and Chiara Renso and Franco Turini} }