Di Nola, Antonio, and Laurentiu Leustean. 2002. “Compact Representations of BL-Algebras”. BRICS Report Series 9 (23). https://doi.org/10.7146/brics.v9i23.21739.