The Problem of Demodulation During Inference Rule Application.

Larry Wos The Problem of Demodulation During Inference Rule Application. 141-143 1992 9 J. Autom. Reasoning 1 db/journals/jar/jar9.html#Wos92b