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