@InProceedings{LIS26,
title = {Goals as Parallel Program Specifications},
author = {Leslie Pack Kaelbling},
year = {1988},
booktitle = {Proceedings of the Seventh National Conference on Artificial Intelligence},
address = {Minneapolis-St. Paul, Minnesota},
}