@article {29,
	title = {Tree rules in probabilistic transition system specifications with negative and quantitative premises},
	journal = {Electronic Proceedings in Theoretical Computer Science},
	volume = {89},
	year = {2012},
	month = {8/2012},
	pages = {115 - 130},
	doi = {10.4204/EPTCS.8910.4204/EPTCS.89.9},
	author = {Lee, Matias D. and Daniel Gebler and Pedro R. D{\textquoteright}Argenio}
}