C Anger,
M Gebser, T Linke, A Neumann… - Logic for Programming …, 2005 - Springer
We present a new answer set solver, called nomore++, along with its underlying theoretical
foundations. A distinguishing feature is that it treats heads and bodies equitably as …