@InProceedings{LIS26,
title = {Goals as Parallel Program Specifications},
author = {Leslie Pack Kaelbling},
year = {1988},
url = {https://www.aaai.org/Papers/AAAI/1988/AAAI88-011.pdf},
booktitle = {Proceedings of the Seventh National Conference on Artificial Intelligence},
address = {Minneapolis-St. Paul, Minnesota},
}