The GSAF Solver and Verifier.

Alexander Greler, Wolfgang Dvork, Stefan Woltran

Browse the full COMMA paper archive.