@inproceedings{Kramann2020, author = {Guido Kramann}, title = {Modulo}, pages = {993 -- 999}, url = {https://hal.archives-ouvertes.fr/hal-02382500/file/Proceedings_CMMR2019.pdf\#page=994}, year = {2020}, }