Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract).

Patrick Doherty, Jonas Kvarnstrm, Andrzej Szalas

Browse the full JELIA paper archive.