%0 Journal Article %1 journals/dke/QueraltACT12 %A Queralt, Anna %A Artale, Alessandro %A Calvanese, Diego %A Teniente, Ernest %D 2012 %J Data Knowl. Eng. %K dblp %P 1-22 %T OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. %U http://dblp.uni-trier.de/db/journals/dke/dke73.html#QueraltACT12 %V 73

@article{journals/dke/QueraltACT12, added-at = {2019-07-29T00:00:00.000+0200}, author = {Queralt, Anna and Artale, Alessandro and Calvanese, Diego and Teniente, Ernest}, biburl = {https://www.bibsonomy.org/bibtex/2871e2f35b38db36c7d5037e2c180eed3/dblp}, ee = {https://www.wikidata.org/entity/Q64360044}, interhash = {17c0d2604a1e0ff869bef40f646e17c3}, intrahash = {871e2f35b38db36c7d5037e2c180eed3}, journal = {Data Knowl. Eng.}, keywords = {dblp}, pages = {1-22}, timestamp = {2019-07-30T11:43:31.000+0200}, title = {OCL-Lite: Finite reasoning on UML/OCL conceptual schemas.}, url = {http://dblp.uni-trier.de/db/journals/dke/dke73.html#QueraltACT12}, volume = 73, year = 2012 }