Common Foundations for Recursive Shape Languages
C. Okulmus, S. Ahmetaj, I. Boneva, J. Hidders, M. Jakubowski, J.E.  Labra Gayo, W. Martens, F. Mogavero, F. Murlak,  Ognjen  Savkovi, M. Simkus, D. Tomaszuk, in: Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026), 2026.