Applications of Artificial Intelligence II - Gilmore, John