Xavier Oriol, Ernest Teniente. Simplification of UML/OCL schemas for efficient reasoning. Journal of Systems and Software, 128:130-149, 2017. [doi]
@article{OriolT17, title = {Simplification of UML/OCL schemas for efficient reasoning}, author = {Xavier Oriol and Ernest Teniente}, year = {2017}, doi = {10.1016/j.jss.2017.03.015}, url = {https://doi.org/10.1016/j.jss.2017.03.015}, researchr = {https://researchr.org/publication/OriolT17}, cites = {0}, citedby = {0}, journal = {Journal of Systems and Software}, volume = {128}, pages = {130-149}, }