%0 Journal Article %1 journals/is/PerezP19 %A Pérez, Beatriz %A Porres, Ivan %D 2019 %J Inf. Syst. %K dblp %P 152-177 %T Reasoning about UML/OCL class diagrams using constraint logic programming and formula. %U http://dblp.uni-trier.de/db/journals/is/is81.html#PerezP19 %V 81

@article{journals/is/PerezP19, added-at = {2019-03-08T00:00:00.000+0100}, author = {Pérez, Beatriz and Porres, Ivan}, biburl = {https://www.bibsonomy.org/bibtex/2a70fe068b01a6ec740fb2c67836d93d9/dblp}, ee = {https://doi.org/10.1016/j.is.2018.08.005}, interhash = {6d36bc9535d6ac2c3d30a165e82faef3}, intrahash = {a70fe068b01a6ec740fb2c67836d93d9}, journal = {Inf. Syst.}, keywords = {dblp}, pages = {152-177}, timestamp = {2019-03-09T11:37:22.000+0100}, title = {Reasoning about UML/OCL class diagrams using constraint logic programming and formula.}, url = {http://dblp.uni-trier.de/db/journals/is/is81.html#PerezP19}, volume = 81, year = 2019 }