Martin Wilhelm. Refining expression DAGs in exact-decisions number types. PhD thesis, Otto-von-Guericke University Magdeburg, Germany, 2020. [doi]
@phdthesis{dnb-23027, title = {Refining expression DAGs in exact-decisions number types}, author = {Martin Wilhelm}, year = {2020}, url = {http://d-nb.info/1220035319}, researchr = {https://researchr.org/publication/dnb-23027}, cites = {0}, citedby = {0}, school = {Otto-von-Guericke University Magdeburg, Germany}, }