Hu and Levesque. "A Correctness Result for Reasoning About One-Dimensional Planning Problems." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-439
Markdown
[Hu and Levesque. "A Correctness Result for Reasoning About One-Dimensional Planning Problems." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/hu2011ijcai-correctness/) doi:10.5591/978-1-57735-516-8/IJCAI11-439
BibTeX
@inproceedings{hu2011ijcai-correctness,
title = {{A Correctness Result for Reasoning About One-Dimensional Planning Problems}},
author = {Hu, Yuxiao and Levesque, Hector J.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2011},
pages = {2638-2643},
doi = {10.5591/978-1-57735-516-8/IJCAI11-439},
url = {https://mlanthology.org/ijcai/2011/hu2011ijcai-correctness/}
}