Nada Sharaf. CHRvis: an animation extension for animating constraint handling rules. PhD thesis, University of Ulm, Germany, 2019. [doi]
@phdthesis{dnb-21943, title = {CHRvis: an animation extension for animating constraint handling rules}, author = {Nada Sharaf}, year = {2019}, url = {http://d-nb.info/1190727315}, researchr = {https://researchr.org/publication/dnb-21943}, cites = {0}, citedby = {0}, school = {University of Ulm, Germany}, }