MetaMath Project Overview Sergey Sosnovsky Saarland University.
Nessan's Newsletter April Edition 2012