@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}
}
