http://en.wikipedia.org/wiki/Special:Contributions/Hubris.jp?namespace=0
computer systems operation, history of / algorithms for proof automation