Deductive Systems for Logic Programs with Counting. - FANDINNO, JORGE; LIFSCHITZ, VLADIMIR (Theory & Practice of Logic Programming, 2025)