* In Thomas Eiter and David Sands, editors, 21st International
Conference on Logic for Programming, Artificial Intelligence and Reasoning
(LPAR-21). EPiC Series in Computing, vol. 46, pages 85-105, EasyChair, 2017.
ISSN 2398-7340 Access Paper or Ask Questions