An Operator for Composing Deductive Databases with Theories of Constraints.

Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini

Browse the full LPNMR paper archive.