Nemo: Your Friendly and Versatile Rule Reasoning Toolkit. Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 743–754, International Joint Conferences on Artificial Intelligence Organization, November 2024. [PUMA: imported xack] URL