R. Baumann, and A. Heine. Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, page 721--725. California, International Joint Conferences on Artificial Intelligence Organization, (September 2023)
