Publications by year

ML-1993-20:
L.A. Chagrova, Dick de Jongh The Decidability of Dependency in Intuitionistic Propositional Logic
1.Full Text.