lpopt: A Rule Optimization Tool for Answer Set Programming. - Bichler, Manuel; Morak, Michael; Woltran, Stefan; Hermenegildo, Manuel; López-García, Pedro; Pettorossi, Alberto; Proietti, Maurizio (Fundamenta Informaticae, 2020)