T.: The nomore++ Approach to Answer Set Solving (2005)

by C Anger, M Gebser, T Linke, A Neumann, Schaub
Venue:LPAR 2005. LNCS (LNAI