@misc{W2964121744,
  title = {[No title in the source record — DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)]},
  year = {2015},
  howpublished = {DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)},
  doi = {https://doi.org/10.4230/lipics.cp.2021.42}
}