Stephan and Biundo. "A New Logical Framework for Deductive Planning." International Joint Conference on Artificial Intelligence, 1993. doi:10.22028/D291-24866
Markdown
[Stephan and Biundo. "A New Logical Framework for Deductive Planning." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/stephan1993ijcai-new/) doi:10.22028/D291-24866
BibTeX
@inproceedings{stephan1993ijcai-new,
title = {{A New Logical Framework for Deductive Planning}},
author = {Stephan, Werner and Biundo, Susanne},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1993},
pages = {32-38},
doi = {10.22028/D291-24866},
url = {https://mlanthology.org/ijcai/1993/stephan1993ijcai-new/}
}