Hans Kleine Büning, Piotr Wojciechowski, R. Chandrasekaran, K. Subramani: Restricted Cutting Plane Proofs in Horn Constraint Systems. FroCos 2019: 149-164