Learning Theorem Proving Components.

Karel Chvalovsk, Jan Jakubuv, Miroslav Olsk, Josef Urban

Browse the full TABLEAUX paper archive.