Lavoro di follow-up accettato a DISC: accordo bizantino asincrono multi-valore con sicurezza perfetta e resilienza ottimale dato l'ABA binario in O(nL+n^2 log n)