[FOM] FOL reduced to equational logic

[H Z]

Hi all,

I have a question about if it is possible (and how) to translate any
first order formula to equational logic. And if some of you can add
some references to the subject.

On the other hand, I would like to know if you have some references
also on complexity related to the size of proofs depending on the set
of axioms arbitrary chosen.

Thanks in advance,

Hector Zenil