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