Kai-Min Chung, Seth Pettie, Hsin-Hao Su: Distributed algorithms for the Lovász local lemma and graph coloring. PODC 2014: 134-143