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

*** DO NOT EDIT THIS FILE ***