On Abstracting over the Irrelevant in Answer Set Programming.

Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonalves, Joo Leite

Browse the full KR paper archive.