Natarajan Shankar, K. Subramani. A mechanical verification of the stressing algorithm for negative cost cycle detection in networks. Science of Computer Programming, 76(7):609-626, 2011. [doi]
@article{ShankarS11,
title = {A mechanical verification of the stressing algorithm for negative cost cycle detection in networks},
author = {Natarajan Shankar and K. Subramani},
year = {2011},
doi = {10.1016/j.scico.2010.08.002},
url = {http://dx.doi.org/10.1016/j.scico.2010.08.002},
researchr = {https://researchr.org/publication/ShankarS11},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {76},
number = {7},
pages = {609-626},
}