Citation: L.wos, Basic Research Problems: The Problem of Demodulation during Inferance Rule Application, Journal of automated reasoning , 9(1), 1992, pp. 141-142
Citation: L.wos, Basic Researc Problems: The problem of Selecting an Approach Based on Prior Success, Journal of automated reasoning , 10(2), 1993, pp. 283-286
Citation: L.wos, Basic Researc Problems: The Problem of Demodulating across Argument and Literal Boundaries, Journal of automated reasoning , 9(3), 1992, pp. 407-412