%0 Conference Paper %1 conf/edbtw/JarrarH06 %A Jarrar, Mustafa %A Heymans, Stijn %B EDBT Workshops %D 2006 %E Grust, Torsten %E Höpfner, Hagen %E Illarramendi, Arantza %E Jablonski, Stefan %E Mesiti, Marco %E Müller, Sascha %E Patranjan, Paula-Lavinia %E Sattler, Kai-Uwe %E Spiliopoulou, Myra %E Wijsen, Jef %I Springer %K dblp %P 517-534 %T Unsatisfiability Reasoning in ORM Conceptual Schemes. %U http://dblp.uni-trier.de/db/conf/edbtw/edbtw2006.html#JarrarH06 %V 4254 %@ 3-540-46788-2

@inproceedings{conf/edbtw/JarrarH06, added-at = {2019-09-16T00:00:00.000+0200}, author = {Jarrar, Mustafa and Heymans, Stijn}, biburl = {https://www.bibsonomy.org/bibtex/23ce8b3ad11301f63e0c718346b603532/dblp}, booktitle = {EDBT Workshops}, crossref = {conf/edbtw/2006}, editor = {Grust, Torsten and Höpfner, Hagen and Illarramendi, Arantza and Jablonski, Stefan and Mesiti, Marco and Müller, Sascha and Patranjan, Paula-Lavinia and Sattler, Kai-Uwe and Spiliopoulou, Myra and Wijsen, Jef}, ee = {https://doi.org/10.1007/11896548_39}, interhash = {fdf3c2cebe69db051b5efa49dd9417f6}, intrahash = {3ce8b3ad11301f63e0c718346b603532}, isbn = {3-540-46788-2}, keywords = {dblp}, pages = {517-534}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T12:38:45.000+0200}, title = {Unsatisfiability Reasoning in ORM Conceptual Schemes.}, url = {http://dblp.uni-trier.de/db/conf/edbtw/edbtw2006.html#JarrarH06}, volume = 4254, year = 2006 }