On the Transformation of Object-Oriented Conceptual Models to Logical Theories Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, and Marc Denecker   View Paper (PDF)   Return to Session 4: Theory and Methods BIBTEX @inproceedings       {DBLP:conf/er/BekaertNBGD02,   author    = {Pieter Bekaert and                 Bert Van Nuffelen and                 Maurice Bruynooghe and                 David Gilis and                 Marc Denecker},    booktitle = {ER},    title     = {On the Transformation of Object-Oriented Conceptual Models to Logical Theories.},    pages     = {152-166},    year      = {2002},    url       = {db/conf/er/er2002.html#BekaertNBGD02},    ee        = {http://link.springer.de/link/service/series/0558/bibs/2503/25030152.htm},    crossref  = {conf/er/2002},    bibsource = {DBLP, http://dblp.uni-trier.de}  } ©2004 Association for Computing Machinery