T. Gros, D. Groß, S. Gumhold, J. Hoffmann, M. Klauck, and M. Steinmetz. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, page 27–46. Berlin, Heidelberg, Springer-Verlag, (2020)
F. Baader, F. Kriegel, and A. Nuradiansyah. Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), April 8--11, 2024, Sheffield, United Kingdom, volume 14589 of Lecture Notes in Computer Science, page 3--22. Springer, (2024)
F. Baader, P. Koopmann, F. Kriegel, and A. Nuradiansyah. Proceedings of the 19th Extended Semantic Web Conference, ESWC 2022, Hersonissos, Greece, May 29 -- June 2, 2022, volume 13261 of Lecture Notes in Computer Science, page 130--146. Springer, (2022)
F. Baader, P. Koopmann, F. Kriegel, and A. Nuradiansyah. LTCS-Report, 22-01. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)
