Deductive Systems for Logic Programs with Counting: Preliminary Report.

Jorge Fandinno, Vladimir Lifschitz

Browse the full LPNMR paper archive.