An Operator for Composing Deductive Databases with Theories of Constraints

You are here

TitleAn Operator for Composing Deductive Databases with Theories of Constraints
Publication TypeJournal Article
Year of Publication1995
AuthorsAquilino, D, Asirelli, P, Renso, C, Turini, F
Pagination57–70