@Article{FL+20,
    Author       = "Fandinno, J. and Lifschitz, V. and L{\"u}hne, P. and Schaub, T.",
    Year         = "2020",
    Title        = "{Verifying Tight Logic Programs with Anthem and Vampire}",
    Journal      = "Theory and Practice of Logic Programming",
    Volume       = "20",
    Number       = "5",
    Pages        = "735-750",
    Comment      = "TPTPRef"
}