"lpopt: A Rule Optimization Tool for Answer Set Programming."

Manuel Bichler, Michael Morak, Stefan Woltran (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics