Christoph F. Eick, Thomas Raupp. Toward a Formal Semantics and Inference Rules for Conceptual Data Models. Data \& Knowledge Engineering, 6:297-317, 1991.
@article{EickR91, title = {Toward a Formal Semantics and Inference Rules for Conceptual Data Models}, author = {Christoph F. Eick and Thomas Raupp}, year = {1991}, tags = {semantics, rule-based, formal semantics, rules}, researchr = {https://researchr.org/publication/EickR91}, cites = {0}, citedby = {0}, journal = {Data \& Knowledge Engineering}, volume = {6}, pages = {297-317}, }