The nomore++ Approach to Answer Set Solving. - Anger, Christian; Gebser, Martin; Linke, Thomas; Neumann, André; Schaub, Torsten (2005)