Source: https://www.lri.fr/~de/CLM13-Boole.pdf