http://www.ksl.stanford.edu/software/IW/registry/SRC/IW-TEAM.daml Fri Feb 07 13:01:11 PST 2003 Fri Feb 07 13:11:12 PST 2003 'A Machine-Oriented Logic Based on the Resolution Principle', JACM, Vol 12, No. 1, pp. 23-41