Propositional Logic for Circuit Classes.

Klaus Aehlig, Arnold Beckmann

Browse the full CSL paper archive.