Silaghi, M.-C.Sam-Haroud, D.Weigel, R.Vu, X.-H.Faltings, B. V.2006-12-132006-12-132006-12-132001https://infoscience.epfl.ch/handle/20.500.14299/238325text::report