@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
}