Stan Kelly-Bootle
-
The computer contradictionary (2nd ed.)
Applications of inductive logic programming
Communications of the ACM
It's been a hard day's night--proving nonexistence!