@article{206,
  author = {Sandra Dylus and Jan Christiansen and Finn Teegen},
  title = {Implementing a Library for Probabilistic Programming Using Non-Strict Non-Determinism},
  year = {2020},
  booktitle = {Theory and Practice of Logic Programming},
  journal = {Theory and Practice of Logic Programming},
  volume = {20},
  number = {1},
  pages = {147-175},
  doi = {10.1017/S1471068419000085},
}