A. Brauckmann, A. Goens, S. Ertel, and J. Castrillon. Proceedings of the 29th International Conference on Compiler Construction, New York, NY, USA, ACM, (February 2020)
M. Fischer, K. Komlossy, B. Stein, M. Potthast, and M. Hagen. Proceedings of the 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, New York, NY, USA, ACM, (July 2021)
R. Baumann, G. Brewka, and M. Ulbricht. Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, California, International Joint Conferences on Artificial Intelligence Organization, (July 2020)
