D W Loveland

Automated theorem proving: mapping logic into AI

D W Loveland, Donald W. Loveland, 1986, ISMIS '86.

Inference and Decision Mechanisms in Artificial Intelligence

D W Loveland, A W Biermann, 1991 .