Kai Yang, Cong Tian, Nan Zhang 0001, Zhenhua Duan, Hongwei Du. A temporal logic programming approach to planning. J. Comb. Optim., 38(2):402-420, 2019. [doi]
@article{YangTZDD19,
title = {A temporal logic programming approach to planning},
author = {Kai Yang and Cong Tian and Nan Zhang 0001 and Zhenhua Duan and Hongwei Du},
year = {2019},
doi = {10.1007/s10878-019-00389-y},
url = {https://doi.org/10.1007/s10878-019-00389-y},
researchr = {https://researchr.org/publication/YangTZDD19},
cites = {0},
citedby = {0},
journal = {J. Comb. Optim.},
volume = {38},
number = {2},
pages = {402-420},
}