L. Aguirre, N. Martí-Oliet, M. Palomino, und I. Pita. Logic, Rewriting, and Concurrency, Volume 9200 von Lecture Notes in Computer Science, Seite 48-71. Springer, (2015)
L. Aguirre, N. Martí-Oliet, M. Palomino, und I. Pita. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, Volume 13160 von Lecture Notes in Computer Science, Seite 1-20. Springer, (2023)