Declarative Logic Programming: Theory, Systems, and Applications
Michael Kifer & Yanhong Annie Liu
Foreign Affairs
A Secret History of Torture
Ian Cobain
Mannix
Brenda Niall
Klee
Donald Wigal
The Strategy of Satan: How to Detect and Defeat Him
Warren W. Wiersbe