Applications of Artificial Intelligence V - Gilmore, John