Julio Aracena, Adrien Richard, Lilian Salinas: Fixed points in conjunctive networks and maximal independent sets in graph contractions. J. Comput. Syst. Sci. 88: 145-163 (2017)