Bernhard Gleiss, Martin Suda: Layered Clause Selection for Saturation-Based Theorem Proving. PAAR+SC²@IJCAR 2020: 34-52