Arguing Correctness of ASP Programs with Aggregates.

Jorge Fandinno, Zachary Hansen, Yuliya Lierler

Browse the full LPNMR paper archive.