Eiter, Thomas,Ed. Advances in knowledge representation, logic programming and abstract argumentation - New York Springer 2015 Dewey Class. No.: 006.3 / EIT.A