%0 Journal Article %1 journals/tplp/FandinnoLLS20 %A Fandinno, Jorge %A Lifschitz, Vladimir %A Lühne, Patrick %A Schaub, Torsten %D 2020 %J Theory Pract. Log. Program. %K dblp %N 5 %P 735-750 %T Verifying Tight Logic Programs with anthem and vampire. %U http://dblp.uni-trier.de/db/journals/tplp/tplp20.html#FandinnoLLS20 %V 20

@article{journals/tplp/FandinnoLLS20, added-at = {2020-10-26T00:00:00.000+0100}, author = {Fandinno, Jorge and Lifschitz, Vladimir and Lühne, Patrick and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/2fa56574a103aa789b9469c0805c2f98d/dblp}, ee = {https://doi.org/10.1017/S1471068420000344}, interhash = {317fbd217c71222a3a32c439e995cf67}, intrahash = {fa56574a103aa789b9469c0805c2f98d}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 5, pages = {735-750}, timestamp = {2020-10-27T12:59:47.000+0100}, title = {Verifying Tight Logic Programs with anthem and vampire.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp20.html#FandinnoLLS20}, volume = 20, year = 2020 }