T. Eiter, Z. G. Saribatur, P. Schüller:
"Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems";
Talk: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodos, Griechenland; 2020-09-12 - 2020-09-18.