Nissim Francez, Dexter Kozen. Generalized Fair Termination. In POPL. pages 46-53, 1984.
@inproceedings{FrancezK84,
title = {Generalized Fair Termination},
author = {Nissim Francez and Dexter Kozen},
year = {1984},
tags = {termination},
researchr = {https://researchr.org/publication/FrancezK84},
cites = {0},
citedby = {0},
pages = {46-53},
booktitle = {POPL},
}