The nomore++ Approach to Answer Set Solving.

Christian Anger, Martin Gebser, Thomas Linke, Andr Neumann, Torsten Schaub

Browse the full LPAR paper archive.