Neural Unification for Logic Reasoning over Natural Language. - Gabriele Picco; Hoang Thanh Lam; Marco Luca Sbodio; Vanessa López Garcia (CoRR, 2021)