@article{DBLP:journals/scp/NavarroO22,
  author       = {Marcelo Navarro and
                  Federico Olmedo},
  title        = {Slicing of probabilistic programs based on specifications},
  journal      = {Sci. Comput. Program.},
  volume       = {220},
  pages        = {102822},
  year         = {2022},
  doi          = {10.1016/J.SCICO.2022.102822}
  }