%0 Journal Article %1 journals/jlp/VazF12 %A Vaz, Cátia %A Ferreira, Carla %D 2012 %J J. Log. Algebraic Methods Program. %K %N 5 %P 585-605 %T On the analysis of compensation correctness. %U http://dblp.uni-trier.de/db/journals/jlp/jlp81.html#VazF12 %V 81

@article{journals/jlp/VazF12, added-at = {2023-12-13T04:46:59.000+0100}, author = {Vaz, Cátia and Ferreira, Carla}, biburl = {https://www.bibsonomy.org/bibtex/2aa925af9478e28c4d626d52704204390/admin}, ee = {https://www.wikidata.org/entity/Q59846133}, interhash = {9a3dccc05877f6a521a50da10b0cbe42}, intrahash = {aa925af9478e28c4d626d52704204390}, journal = {J. Log. Algebraic Methods Program.}, keywords = {}, number = 5, pages = {585-605}, timestamp = {2023-12-13T04:46:59.000+0100}, title = {On the analysis of compensation correctness.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp81.html#VazF12}, volume = 81, year = 2012 }