Copy complexity of Horn formulas with respect to unit read-once resolution

Piotr J. Wojciechowski, K. Subramani. Copy complexity of Horn formulas with respect to unit read-once resolution. Theoretical Computer Science, 890:70-86, 2021. [doi]

Abstract

Abstract is missing.