Obrigado por complementar as informações do meu email anterior, Walter.
> Interessantemente, na versão do Arxiv eles se referem bastante ao
> "influential" artigo de Alan Bundy,
>
> Bundy, A. A Science of Reasoning, in `Computational Logic: Essays in Honor
> of Alan Robinson', eds Lassez J-L &
A informação esta incompleta. O primeiro autor eh M. Ganesalingam.
Ganesalingam, M., & Gowers, W. T.
Journal of Automated Reasoning
February 2017, Volume 58, Issue 2, pp 253–291
A Fully Automatic Theorem Prover with Human-Style Output
doi.org/10.1007/s10817-016-9377-1
O artigo esta disponivel