The nomore++ Approach to Answer Set Solving.

Christian Anger Martin Gebser Thomas Linke André Neumann Torsten Schaub The nomore++ Approach to Answer Set Solving. 95-109 2005 conf/lpar/2005 LPAR http://dx.doi.org/10.1007/11591191_8 db/conf/lpar/lpar2005.html#AngerGLNS05