Galliwasp: A Goal-Directed Answer Set Solver.

Kyle Marple, Gopal Gupta

Browse the full LOPSTR paper archive.