Positive and negative proofs for circuits and branching programs. - Olga Dorzweiler; Thomas Flamm; Andreas Krebs; Michael Ludwig (Theor. Comput. Sci., 2016)