The Complexity of Disjunction in Intuitionistic Logic.

R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh

Browse the full LFCS paper archive.