The Problem of Choosing the Inference Rule to Employ.

Larry Wos The Problem of Choosing the Inference Rule to Employ. 201-209 1987 3 J. Autom. Reasoning 2 db/journals/jar/jar3.html#Wos87a