@article{DBLP:journals/corr/abs-2008-02025, title = {Verifying Tight Logic Programs with anthem and Vampire}, author = {Fandinno, Jorge and Lifschitz, Vladimir and L{\"{u}}hne, Patrick and Schaub, Torsten}, journal = {CoRR}, volume = {abs/2008.02025}, year = {2020} }