Xiaoping Chen, Jianmin Ji, Fangzhen Lin. Computing Loops with at Most One External Support Rule. ACM Trans. Comput. Log., 14(1):3, 2013. [doi]
@article{ChenJL13, title = {Computing Loops with at Most One External Support Rule}, author = {Xiaoping Chen and Jianmin Ji and Fangzhen Lin}, year = {2013}, doi = {10.1145/2422085.2422088}, url = {http://doi.acm.org/10.1145/2422085.2422088}, researchr = {https://researchr.org/publication/ChenJL13}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {14}, number = {1}, pages = {3}, }