Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting. - Aziz Amezian El Khalfioui; Jonathan Joertz; Dorian Labeeuw; Gaëtan Staquet; Jef Wijsen (CIKM, 2020)