An Operator for Composing Deductive Databases with Theories of Constraints

TitleAn Operator for Composing Deductive Databases with Theories of Constraints
Publication TypeConference Paper
Year of Publication1995
AuthorsAquilino, D, Asirelli P, Renso C, Turini F
Conference NameLPNMR
  • Biblio Keywords: