Faltings, B.2006-12-132006-12-132006-12-131997https://infoscience.epfl.ch/handle/20.500.14299/238164Research at the Laboratoire d'Intelligence Artificielle, EPFLtext::journal::journal article