Dear Member, We shall be grateful if we could get the fulltext of the following articles: 1)J N Hooker,Resolution vs. Cutting plane solutions of Inference problems:Some Computational Experience,Operation Research Letters, 7,1988,1-7. 2)J N Hooker,A Quantitative approach to logical inference, Decision Support Systems,4,1988,45-69. Arup Raychaudhury Library, Documentation & Information Science Division Indian Statistical Institute 203 BT Road Calcutta 700 108 INDIA -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.