Computations in Fragments of Intuitionistic Propositional Logic.

Dick De Jongh Lex Hendriks Gerard R. Renardel de Lavalette Computations in Fragments of Intuitionistic Propositional Logic. 537-561 1991 7 J. Autom. Reasoning 4 db/journals/jar/jar7.html#JonghHL91