Lazy Atom Discovery in Compilation-Based ASP Solving.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Browse the full JELIA paper archive.