Elbassioni, K., Makino, K., & Rauf, I. (2011). On the Readability of Monotone Boolean Formulae. Journal of Combinatorial Optimization, 22(3), 293-304. doi:10.1007/s10878-009-9283-0.