Isabelle Gnaedig. Induction for positive almost sure termination. In Michael Leuschel, Andreas Podelski, editors, Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. pages 167-178, ACM, 2007. [doi]
@inproceedings{Gnaedig07,
title = {Induction for positive almost sure termination},
author = {Isabelle Gnaedig},
year = {2007},
doi = {10.1145/1273920.1273943},
url = {http://doi.acm.org/10.1145/1273920.1273943},
tags = {termination},
researchr = {https://researchr.org/publication/Gnaedig07},
cites = {0},
citedby = {0},
pages = {167-178},
booktitle = {Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland},
editor = {Michael Leuschel and Andreas Podelski},
publisher = {ACM},
isbn = {978-1-59593-769-8},
}