APA (7th ed.) Citation

FANDINNO, J., LIFSCHITZ, V., LÜHNE, P., & SCHAUB, T. (2020). Verifying Tight Logic Programs with anthem and vampire. Theory and practice of logic programming, 20(5), 735-750. https://doi.org/10.1017/S1471068420000344

Chicago Style (17th ed.) Citation

FANDINNO, JORGE, VLADIMIR LIFSCHITZ, PATRICK LÜHNE, and TORSTEN SCHAUB. "Verifying Tight Logic Programs with Anthem and Vampire." Theory and Practice of Logic Programming 20, no. 5 (2020): 735-750. https://doi.org/10.1017/S1471068420000344.

MLA (9th ed.) Citation

FANDINNO, JORGE, et al. "Verifying Tight Logic Programs with Anthem and Vampire." Theory and Practice of Logic Programming, vol. 20, no. 5, 2020, pp. 735-750, https://doi.org/10.1017/S1471068420000344.