Machine intelligence 11 : logic and the acquisition of knowledge / - Hayes, J. E.; Michie, D.; Richards, J. (Clarendon Press ;, 1988)