The Problem of Choosing between Logic Programming and General-Purpose Automated Reasoning.

Larry Wos The Problem of Choosing between Logic Programming and General-Purpose Automated Reasoning. 77-78 1990 6 J. Autom. Reasoning 1 db/journals/jar/jar6.html#Wos90 http://dx.doi.org/10.1007/BF00302642