%0 Journal Article %1 journals/corr/CalvaneseKSVZ13 %A Calvanese, Diego %A Kotek, Tomer %A Simkus, Mantas %A Veith, Helmut %A Zuleger, Florian %D 2013 %J CoRR %K dblp %T Shape and Content: Incorporating Domain Knowledge into Shape Analysis. %U http://dblp.uni-trier.de/db/journals/corr/corr1312.html#CalvaneseKSVZ13 %V abs/1312.6624

@article{journals/corr/CalvaneseKSVZ13, added-at = {2018-08-13T00:00:00.000+0200}, author = {Calvanese, Diego and Kotek, Tomer and Simkus, Mantas and Veith, Helmut and Zuleger, Florian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cef9eef5463a8c5f9dd8cea3bd9134ee/dblp}, ee = {http://arxiv.org/abs/1312.6624}, interhash = {c8eda022ece5b2987e91413a8bbd8755}, intrahash = {cef9eef5463a8c5f9dd8cea3bd9134ee}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:44:51.000+0200}, title = {Shape and Content: Incorporating Domain Knowledge into Shape Analysis.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1312.html#CalvaneseKSVZ13}, volume = {abs/1312.6624}, year = 2013 }