Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou. Loop-separable programs and their first-order definability. Artificial Intelligence, 175(3-4):890-913, 2011. [doi]
@article{ChenLZZ11,
title = {Loop-separable programs and their first-order definability},
author = {Yin Chen and Fangzhen Lin and Yan Zhang and Yi Zhou},
year = {2011},
doi = {10.1016/j.artint.2010.12.001},
url = {http://dx.doi.org/10.1016/j.artint.2010.12.001},
researchr = {https://researchr.org/publication/ChenLZZ11},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {175},
number = {3-4},
pages = {890-913},
}