ITAS: A portable interactive transportation scheduling tool using a search engine generated from formal specifications (1996)

by M H Burstein, D Smith
Venue:In Proceedings of the Third International Conference on Artificial Intelligence Planning System (AIPS-96