Robuta

https://arxiv.org/abs/1007.4908 [1007.4908] Automated Termination Analysis for Logic Programs with Cut Abstract page for arXiv paper 1007.4908: Automated Termination Analysis for Logic Programs with Cut termination analysis 1007 4908 automated logic https://www.muni.cz/en/research/publications/1718657 Termination Analysis of Probabilistic Programs with Martingales | Masaryk University | MUNI termination analysis masaryk university probabilistic programs martingales