@article{DBLP:journals/tplp/FandinnoLLS20, author = {Fandinno, Jorge and Lifschitz, Vladimir and L{\"{u}}hne, Patrick and Schaub, Torsten}, title = {Verifying Tight Logic Programs with anthem and vampire}, journal = {Theory Pract. Log. Program.}, volume = {20}, number = {5}, pages = {735--750}, year = {2020} }