GNT - A Solver for Disjunctive Logic Programs.

Tomi Janhunen, Ilkka Niemel

Browse the full LPNMR paper archive.