First-order modular logic programs and their conservative extensions. - HARRISON, AMELIA; LIERLER, YULIYA; Carro, Manuel; King, Andy (Theory & Practice of Logic Programming, 2016)