Source: https://www.lirmm.fr/~leclere/recherche/RIA98.pdf