Bulatov. Boolean Max-co-clones. IEEE, 2013, doi:10.1109/ismvl.2013.16.