Hydras: Directed Hypergraphs and Horn Formulas.

Robert H. Sloan, Despina Stasi, Gyrgy Turn

Browse the full WG paper archive.