Elaine Rich and Kevin Knight, Artificial Intelligence, second edition, McGraw-Hill 1991. On reserve at the Engineering Library.