On the Trace of W_a^m+1,1(R_+^n+1) - Giovanni Leoni; Daniel Spector (2024)