Fangzhen Lin. A formalization of programs in first-order logic with a discrete linear order. Artificial Intelligence, 235:1-25, 2016. [doi]
@article{Lin16-12,
title = {A formalization of programs in first-order logic with a discrete linear order},
author = {Fangzhen Lin},
year = {2016},
doi = {10.1016/j.artint.2016.01.014},
url = {http://dx.doi.org/10.1016/j.artint.2016.01.014},
researchr = {https://researchr.org/publication/Lin16-12},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {235},
pages = {1-25},
}