David Pearce. Stable Inference as Intuitionistic Validity. Journal of Logic and Algebraic Programming, 38(1):79-91, 1999.
@article{Pearce99, title = {Stable Inference as Intuitionistic Validity}, author = {David Pearce}, year = {1999}, researchr = {https://researchr.org/publication/Pearce99}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {38}, number = {1}, pages = {79-91}, }