TITLE     : An operator for composing deductive data bases with theories of constraints
AUTHOR(S) : Aquilino D, Asirelli P, Renso C, Turini F
TYPE      : Conference article
YEAR      : 1995
CODE      : 409746

*** DO NOT EDIT THIS FILE ***