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