A. P(x, f(A))∨R(z)

B. P(x, f(A))∨Q(x)∨R(z), σ ={f(y)/x}

C. P(f(y),f(A))∨R(z), σ ={f(y)/x}

D. P(f(x), f(x))∨R(z)