APA (7th ed.) Citation

FANDINNO, J., & LIFSCHITZ, V. (2025). Deductive Systems for Logic Programs with Counting. Theory & Practice of Logic Programming, 25(5), 924. https://doi.org/10.1017/S1471068425100379

Chicago Style (17th ed.) Citation

FANDINNO, JORGE, and VLADIMIR LIFSCHITZ. "Deductive Systems for Logic Programs with Counting." Theory & Practice of Logic Programming 25, no. 5 (2025): 924. https://doi.org/10.1017/S1471068425100379.

MLA (9th ed.) Citation

FANDINNO, JORGE, and VLADIMIR LIFSCHITZ. "Deductive Systems for Logic Programs with Counting." Theory & Practice of Logic Programming, vol. 25, no. 5, 2025, p. 924, https://doi.org/10.1017/S1471068425100379.