%0 Journal Article %1 journals/jlp/VazF12 %A Vaz, Cátia %A Ferreira, Carla %D 2012 %J J. Log. Algebraic Methods Program. %K dblp %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 = {2021-02-16T00:00:00.000+0100}, author = {Vaz, Cátia and Ferreira, Carla}, biburl = {https://www.bibsonomy.org/bibtex/2aa925af9478e28c4d626d52704204390/dblp}, ee = {https://www.wikidata.org/entity/Q59846133}, interhash = {9a3dccc05877f6a521a50da10b0cbe42}, intrahash = {aa925af9478e28c4d626d52704204390}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 5, pages = {585-605}, timestamp = {2024-04-08T10:50:37.000+0200}, title = {On the analysis of compensation correctness.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp81.html#VazF12}, volume = 81, year = 2012 }