Arslanagic, A., Pérez, J. A. & Subotić, P., 1-jun.-2022, Integrated Formal Methods: 17th International Conference, IFM 2022 Lugano, Switzerland, June 7–10, 2022 Proceedings. ter Beek, M. H. & Monahan, R. (redactie). Cham: Springer, blz. 322–3409 blz. (Lecture Notes in Computer Science; vol. 13274).
Arslanagic, A., Palamariuc, A. & Pérez, J. A., 6-sep.-2021, PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming. Veltri, N., Benton, N. & Ghilezan, S. (redactie). New York: Association for Computing Machinery, 15 blz. 12