The refined area formula for Sobolev mappings $W^{k,p}$

We establish the area formula for change-of-variable mappings in the Sobolev space $W^{k,p}_{\text{loc}}$. Our approach relies on constructing Lipschitz approximations of Sobolev functions that agree with the original functions outside a set of Riesz capacity zero.