An Operator for Composing Deductive Databases with Theories of Constraints

• Authors:

• D. Aquilino;Patrizia Asirelli;C. Renso;Franco Turini

• Affiliations:

• -;-;-;-

• Venue:
• LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
• Year:
• 1995