Arthur G. Duncan, Lawrence Yelowitz. Loop Unravelling: A Practical Tool in Proving Program Correctness. Inf. Process. Lett., 4(3):70-72, 1975.
@article{DuncanY75,
title = {Loop Unravelling: A Practical Tool in Proving Program Correctness},
author = {Arthur G. Duncan and Lawrence Yelowitz},
year = {1975},
researchr = {https://researchr.org/publication/DuncanY75},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {4},
number = {3},
pages = {70-72},
}