Hans Kleine Büning, Piotr Wojciechowski, K. Subramani: The Complexity of Finding Read-Once NAE-Resolution Refutations. ICLA 2017: 64-76