Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle. - Alexey V. Chernov; Dmitrij P. Skvortsov; Elena Z. Skvortsova; Nikolai K. Vereshchagin (CSL, 2002)