Efficient computation of argumentation semantics - Liao, Beishui (Academic Press, 2014)