Recent progress in the Boolean domain. (2014)