T. Lehtonen, A. Rapberger, M. Ulbricht, and J. Wallner. Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, page 440--450. California, International Joint Conferences on Artificial Intelligence Organization, (September 2023)