Machine intelligence logic and the acquisition of knowledge - Hayes, J. E. (Clarendon Press, 1988)