É. Goubault, M. Lazic, J. Ledent, and S. Rajsbaum. DaLí, volume 12005 of Lecture Notes in Computer Science, page 53-70. Springer, (2019)https://arxiv.org/abs/1909.03263.
É. Goubault, M. Lazic, J. Ledent, and S. Rajsbaum. DISC, volume 146 of LIPIcs, page 21:1-21:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)#conference.