R. Beutner, D. Carral, B. Finkbeiner, J. Hofmann, and M. Krötzsch. Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, page 1–13. New York, NY, USA, Association for Computing Machinery, (Aug 4, 2022)
M. Rony, Y. Zuo, L. Kovriguina, R. Teucher, and J. Lehmann. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, page 5249–5252. International Joint Conferences on Artificial Intelligence Organization, (July 2022)
