The Problem of Extending the Set of Support Strategy.

Larry Wos The Problem of Extending the Set of Support Strategy. 319-328 1987 3 J. Autom. Reasoning 3 db/journals/jar/jar3.html#Wos87b