A. Ivliev, L. Gerlach, S. Meusel, J. Steinberg, and M. Krötzsch. Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, page 743–754. International Joint Conferences on Artificial Intelligence Organization, (November 2024)