Solidi elastici in contatto unilatero con attrito: algoritmi alle tensioni