lpopt: A Rule Optimization Tool for Answer Set Programming.

Manuel Bichler, Michael Morak, Stefan Woltran

Browse the full LOPSTR paper archive.