@misc{https://doi.org/10.5281/zenodo.4281459, doi = {10.5281/ZENODO.4281459}, url = {https://zenodo.org/record/4281459}, author = {{, David}}, title = {CGO 2021 Artifact 71}, publisher = {Zenodo}, year = {2020}, copyright = {Restricted Access} }