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

by C Anger, M Gebser, T Linke, A Neumann, T Schaub
Venue:In Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2005), G. Sutcliffe and A. Voronkov, Eds. Lecture Notes in Computer Science