%0 Journal Article %1 journals/ia/CadoliCGM13 %A Cadoli, Marco %A Calvanese, Diego %A Giacomo, Giuseppe De %A Mancini, Toni %D 2013 %J Intelligenza Artificiale %K dblp %N 1 %P 57-65 %T Finite model reasoning on UML class diagrams via constraint programming. %U http://dblp.uni-trier.de/db/journals/ia/ia7.html#CadoliCGM13 %V 7

@article{journals/ia/CadoliCGM13, added-at = {2013-08-28T00:00:00.000+0200}, author = {Cadoli, Marco and Calvanese, Diego and Giacomo, Giuseppe De and Mancini, Toni}, biburl = {https://www.bibsonomy.org/bibtex/2778171126674665fa6dd5b342526af9e/dblp}, ee = {http://dx.doi.org/10.3233/IA-130045}, interhash = {452c9a03257b862efaf727ab7c95c2bd}, intrahash = {778171126674665fa6dd5b342526af9e}, journal = {Intelligenza Artificiale}, keywords = {dblp}, number = 1, pages = {57-65}, timestamp = {2013-08-29T11:33:55.000+0200}, title = {Finite model reasoning on UML class diagrams via constraint programming.}, url = {http://dblp.uni-trier.de/db/journals/ia/ia7.html#CadoliCGM13}, volume = 7, year = 2013 }