All tight multipartite Bell correlation inequalities for three dichotomic observables per observer

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.