Graph Based Answer Set Programming Solver Systems.

Fang Li, Elmer Salazar, Gopal Gupta

Browse the full ICLP paper archive.