Alexander Gorchakov

Automated First Order Natural Deduction

Alexander Bolotov, Vyacheslav Bocharov, Alexander Gorchakov, 2005, IICAI.

Let the computer prove it

Alexander Bolotov, V. V. Makarov, Vyacheslav Bocharov, 2004 .