Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub. The nomore++ Approach to Answer Set Solving. In Marina De Vos, Alessandro Provetti, editors, Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP 05 Workshop, Bath, UK, September 27-29, 2005. Volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, 2005. [doi]
Abstract is missing.