David Pearce Stable Inference as Intuitionistic Validity. 79-91 1999 38 J. Log. Program. 1 db/journals/jlp/jlp38.html#Pearce99