@inproceedings{FeyerVarasFernandezetal.2003, author = {Thomas Feyer and Marcela Varas and Marta Fernandez and Bernhard Thalheim}, title = {Intensional Logic for Integrity Constraint Specification in Predesign Database Modeling}, year = {2003}, }