@ARTICLE {
	AUTHOR = "Marcelo Navarro and Federico Olmedo",
	TITLE ="Slicing of Probabilistic Programs based on Specifications",
	JOURNAL = "Science of Computer Programming (SCICO)",
	VOLUME = "220",
	PAGES = "102822",
	YEAR = "2022",
	PUBLISHER = "Elsevier Science",
	ADDRESS = "Amsterdam, The Netherlands",
	ISSN = "0167-6423"
	}