Hydras: Directed hypergraphs and Horn formulas

Robert H. Sloan, Despina Stasi, György Turán. Hydras: Directed hypergraphs and Horn formulas. Theoretical Computer Science, 658:417-428, 2017. [doi]

Abstract

Abstract is missing.