@inproceedings{VarasFernandezContrerasetal., author = {Varas, Marcela and Fernandez, Marta and Contreras, Ricardo and Bertossi, Leopoldo E. and Thalheim, Bernhard and Feyer, Thomas}, title = {Flexible Integrity Constraint Management Capabilities in Predesign Database Modeling (Project status report)}, language = {en} } @inproceedings{FeyerVarasFernandezetal., author = {Feyer, Thomas and Varas, Marcela and Fernandez, Marta and Thalheim, Bernhard}, title = {Intensional Logic for Integrity Constraint Specification in Predesign Database Modeling}, language = {en} }