On the orthogonalization of arbitrary Boolean formulae. Bruni, Renato — 2005 Journal of Applied Mathematics and Decision Sciences