An Incremental Answer Set Programming Based System for Finite ModelComputation.

Martin Gebser, Orkunt Sabuncu, Torsten Schaub

Browse the full JELIA paper archive.