Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments. - Hao Wu 056; Bruno Yun; Nir Oren (SAFA@COMMA, 2022)