Hans Kleine Büning, Piotr Wojciechowski, K. Subramani: Read-Once Resolutions in Horn Formulas. FAW 2019: 100-110