D. Arndt, and S. Mennicke. Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, Springer, (October 2023)
H. Farzaneh, J. de Lima, M. Li, A. Khan, X. Hu, and J. Castrillon. Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, New York, NY, USA, ACM, (April 2024)