Gurvich, Vladimir Backward induction in presence of cycles. (English) Zbl 1420.91029 J. Log. Comput. 28, No. 7, 1635-1646 (2018). MSC: 91A43 91A20 91A24 05C20 PDFBibTeX XMLCite \textit{V. Gurvich}, J. Log. Comput. 28, No. 7, 1635--1646 (2018; Zbl 1420.91029) Full Text: DOI arXiv
Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto Rank and simulation: the well-founded case. (English) Zbl 1328.68147 J. Log. Comput. 25, No. 6, 1331-1349 (2015). MSC: 68R10 68Q25 68Q60 PDFBibTeX XMLCite \textit{R. Gentilini} et al., J. Log. Comput. 25, No. 6, 1331--1349 (2015; Zbl 1328.68147) Full Text: DOI Link