Silaghi, M.-C.Sam-Haroud, D.Faltings, B.2006-12-132006-12-132006-12-132001https://infoscience.epfl.ch/handle/20.500.14299/238322Hybridizing ABT and AWC into a polynomial space, complete protocol with reorderingtext::report