@article{FandinnoLifschitzLuehneetal.2020,
  author    = {Jorge Fandinno and Vladimir Lifschitz and Patrick L{\"u}hne and Torsten H. Schaub},
  title     = {Verifying tight logic programs with Anthem and Vampire},
  journal   = {Theory and practice of logic programming},
  volume    = {20},
  number    = {5},
  pages     = {735 -- 750},
  doi       = {10.1017/S1471068420000344},
  year      = {2020},
}