(massima n. 1)
La risoluzione del contratto per inadempimento produce effetti liberatori e restitutori: se questi ultimi non possono essere disposti in forma specifica, il giudice deve ordinarli per equivalente, ancorché questa forma di restituzione non sia stata esplicitamente chiesta dalla parte interessata.