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)