T. Ponnada, H. Al-Tous, O. Tirkkonen, and C. Studer. CrownCom, volume 291 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 208-217. Springer, (2019)
Z. Sikic, S. Ghilezan, Z. Ognjanovic, and T. Studer. Logic, Language, and Security, volume 12300 of Lecture Notes in Computer Science, page 98-100. Springer, (2020)