Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication
scientific article; zbMATH DE number 3664911