Iterative Variable Elimination in ASP.

Ricardo Gonalves, Matthias Knorr, Joo Leite

Browse the full EPIA paper archive.