@article {AART97,
	title = {Applying Restriction Constraint to Deductive Databases},
	journal = {Annals of Mathematics and Artificial Intelligence},
	year = {1997},
	note = {1997},
	pages = {3{\textendash}25},
	author = {Domenico Aquilino and Patrizia Asirelli and Chiara Renso and Franco Turini}
}
