+Mohan Ganesalingam and I have just posted a preprint on arXiv about a fully automatic theorem-proving program we wrote a few months ago and which I discussed on my blog. Also, the output of the program on our current set of test problems can be found here: http://people.ds.cam.ac.uk/mg262/robotone.pdf

We'd be grateful for any comments or criticisms, whether superficial or more substantial. (But perhaps I'll say in advance that we're aware that some of our urls go over the end of the line and that the top of the first page looks a bit odd. It was more trouble than it was worth to deal with those two glitches.) 

#spnetwork arXiv:1309.4501