A. Di Nola and L. Leustean, “Compact Representations of BL-Algebras”, BRICS, vol. 9, no. 23, May 2002.