Zohar Manna. Termination of programs represented as interpreted graphs. In American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1970 Spring Joint Computer Conference, Atlantic City, NJ, USA, May 5-7, 1970. Volume 36 of AFIPS Conference Proceedings, pages 83-89, AFIPS Press, 1970. [doi]
@inproceedings{Manna70-0,
title = {Termination of programs represented as interpreted graphs},
author = {Zohar Manna},
year = {1970},
doi = {10.1145/1476936.1476956},
url = {http://doi.acm.org/10.1145/1476936.1476956},
researchr = {https://researchr.org/publication/Manna70-0},
cites = {0},
citedby = {0},
pages = {83-89},
booktitle = {American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1970 Spring Joint Computer Conference, Atlantic City, NJ, USA, May 5-7, 1970},
volume = {36},
series = {AFIPS Conference Proceedings},
publisher = {AFIPS Press},
}