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
Citácia podle Chicago (17th ed.)FANDINNO, JORGE, VLADIMIR LIFSCHITZ, PATRICK LÜHNE, a 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.
Citácia podľa MLA (8th ed.)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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..