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_{\text{loc}}^{k,p}$. Our approach relies on constructing Lipschitz approximations of Sobolev functions that agree with the original functions outside a set of Riesz capacity zero.