TITLE     : An operator for composing deductive databases with theories of constraints
AUTHOR(S) : Aquilino D, Asirelli P, Renso C, Turini F
TYPE      : Other
YEAR      : 1994
CODE      : 408840

*** DO NOT EDIT THIS FILE ***