Orna Grumberg, Nissim Francez, Shmuel Katz. A Complete Rule for Equifair Termination. J. Comput. Syst. Sci., 33(3):313-332, 1986.
@article{GrumbergFK86,
title = {A Complete Rule for Equifair Termination},
author = {Orna Grumberg and Nissim Francez and Shmuel Katz},
year = {1986},
tags = {rule-based, completeness, termination, rules},
researchr = {https://researchr.org/publication/GrumbergFK86},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {33},
number = {3},
pages = {313-332},
}