Zohar Manna, Richard J. Waldinger. How to Clear a Block: A Theory of Plans. Journal of Automated Reasoning, 3(4):343-377, 1987.
@article{MannaW87:0,
title = {How to Clear a Block: A Theory of Plans},
author = {Zohar Manna and Richard J. Waldinger},
year = {1987},
researchr = {https://researchr.org/publication/MannaW87%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {3},
number = {4},
pages = {343-377},
}