Langlois Marina; Sloan Robert H.; Turán György: Horn upper bounds and renaming. JOURNAL OF SATISFIABILITY BOOLEAN MODELING AND COMPUTATION, 7. pp. 1-15. ISSN 1574-0617 (2009)