%0 Journal Article %1 journals/corr/abs-2204-10789 %A Fandinno, Jorge %A Lifschitz, Vladimir %D 2022 %J CoRR %K dblp %T Verification of Locally Tight Programs. %U http://dblp.uni-trier.de/db/journals/corr/corr2204.html#abs-2204-10789 %V abs/2204.10789

@article{journals/corr/abs-2204-10789, added-at = {2022-04-25T00:00:00.000+0200}, author = {Fandinno, Jorge and Lifschitz, Vladimir}, biburl = {https://www.bibsonomy.org/bibtex/268e1ade76adf3d0abd4c0bd8d9131126/dblp}, ee = {https://doi.org/10.48550/arXiv.2204.10789}, interhash = {e8a7c06845ffa0811783e0238f20a1dd}, intrahash = {68e1ade76adf3d0abd4c0bd8d9131126}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:22:56.000+0200}, title = {Verification of Locally Tight Programs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2204.html#abs-2204-10789}, volume = {abs/2204.10789}, year = 2022 }