Carolina Dania, Manuel Clavel. OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. In Benoit Baudry, Benoît Combemale, editors, Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016. pages 65-75, ACM, 2016. [doi]
@inproceedings{DaniaC16,
title = {OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints},
author = {Carolina Dania and Manuel Clavel},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2976774},
researchr = {https://researchr.org/publication/DaniaC16},
cites = {0},
citedby = {0},
pages = {65-75},
booktitle = {Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016},
editor = {Benoit Baudry and Benoît Combemale},
publisher = {ACM},
isbn = {978-1-4503-4321-3},
}