Dick De Jongh L. A. Chagrova The Decidability of Dependency in Intuitionistic Propositional Logic. 498-504 1995 60 J. Symb. Log. 2 db/journals/jsyml/jsyml60.html#JonghC95