Tabling with Sound Answer Subsumption. - VANDENBROUCKE, ALEXANDER; PIRÓG, MACIEJ; DESOUTER, BENOIT; SCHRIJVERS, TOM; Carro, Manuel; King, Andy (Theory & Practice of Logic Programming, 2016)