Goals in the Propositional Horn Language Are Monotone Boolean Circuits.

Joxe Gaintzarain, Montserrat Hermo, Marisa Navarro

Browse the full MFCS paper archive.