A computational logic handbook - Boyer, Robert S. (Perspectives in computing (Boston, Mass.) ;, 1988)