On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic. - Ashot Baghdasaryan; Hovhannes Bolibekyan (J. Univers. Comput. Sci., 2021)