Machine intelligence 12 towards : an automated logic of human thought - Hayes, J. E. (Clarendon Press, 1991)
Includes index.