Source: http://mephisto.unige.ch/pub/publications/gr/RitsMarZigh_ArbreImplic.pdf