The nomore++ approach to answer set solving (2005)

by C Anger, M Gebser, T Linke, A Neumann, T Schaub
Venue:Proceedings of the Twelfth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR’05), volume 3835 of Lecture Notes in Artificial Intelligence