Applications of Artificial Intelligence I - Gilmore, John