TY  - RPRT
TI  - Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning
AU  - Sandra Dylus
PY  - 2020
UR  - https://arxiv.org/abs/2006.01531
ID  - 2006.01531
ER  -