%0 Conference Paper %1 KutzEtal09b %A Kutz, Oliver %A Lücke, Dominik %A Mossakowski, Till %B First International Workshop on Foundations of Computer Science as Logic-Related, (ICTAC-08) %D 2008 %K imported %T Modular Construction of Models - Towards a Consistency Proof for the Foundational Ontology DOLCE %U http://www.cle.unicamp.br/prof/carnielli/istanbul08/index08.html

@inproceedings{KutzEtal09b, added-at = {2016-08-05T15:59:03.000+0200}, author = {Kutz, Oliver and L{\"u}cke, Dominik and Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/24605d8e20a96eb1536dbda7e5be7273f/tillmo}, booktitle = {First International Workshop on Foundations of Computer Science as Logic-Related, (ICTAC-08)}, interhash = {e909b4ce5073bbcef617b33f59872d94}, intrahash = {4605d8e20a96eb1536dbda7e5be7273f}, keywords = {imported}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Modular Construction of Models - Towards a Consistency Proof for the Foundational Ontology DOLCE}, url = {http://www.cle.unicamp.br/prof/carnielli/istanbul08/index08.html}, year = 2008 }