Interview with Alan Robinson, inventor of resolution logic

http://en.wikipedia.org/wiki/Resolution_(logic)

Latin and Greek are much overrated, I think, especially by people like you who never had any.

Break out the pitchforks.