  A derivation of the full set of Bell inequalities involving correlation
functions, for two parties, with binary observables, and three possible local
settings. The procedure can be extended straightforwardly to multiparty
correlations.
