F. Falakh, S. Rudolph, and K. Sauerwald. Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, page 95--110. Springer, (September 2022)
D. Arndt, and S. Mennicke. Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, Springer, (October 2023)