Structure-based algorithms for computing preferred arguments of defeasible knowledge bases - QUOC BAO VO (Lecture notes in computer science, 2005)