https://1library.org/document/y8188v2z-o-teorema-da-normalizacao-para-logica-primeira-ordem.html