@article {DBLP:journals/amai/AquilinoART97, title = {Applying Restriction Constraints to Deductive Databases}, journal = {Ann. Math. Artif. Intell.}, volume = {19}, number = {1-2}, year = {1997}, pages = {3-25}, author = {Domenico Aquilino and Patrizia Asirelli and Chiara Renso and Franco Turini} }