Bulatov, 2013. Boolean Max-Co-Clones, in: . IEEE.. https://doi.org/10.1109/ismvl.2013.16