@InProceedings{Olmedo:2016:LICS,
 author = {Olmedo, Federico and Kaminski, Benjamin Lucien and Katoen, Joost-Pieter and Matheja, Christoph},
 title = {Reasoning About Recursive Probabilistic Programs},
 booktitle = {Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science -- LICS 2016},
 year = {2016},
 pages = {672--681},
 publisher = {ACM}
}