María Alpuente María José Ramírez An Equational Constraint Logic Approach to Database Design. 26-31 1992 DEXA db/conf/dexa/dexa92.html#AlpuenteR92