%0 Journal Article %1 journals/jlp/Pearce99 %A Pearce, David %D 1999 %J J. Log. Program. %K dblp %N 1 %P 79-91 %T Stable Inference as Intuitionistic Validity. %U http://dblp.uni-trier.de/db/journals/jlp/jlp38.html#Pearce99 %V 38

@article{journals/jlp/Pearce99, added-at = {2016-02-05T00:00:00.000+0100}, author = {Pearce, David}, biburl = {https://www.bibsonomy.org/bibtex/21c7291d32de66bfd0b4b227b6c4d594f/dblp}, ee = {http://dx.doi.org/10.1016/S0743-1066(98)10015-8}, interhash = {faad6910ddf1ad664e0bac194f91ca5b}, intrahash = {1c7291d32de66bfd0b4b227b6c4d594f}, journal = {J. Log. Program.}, keywords = {dblp}, number = 1, pages = {79-91}, timestamp = {2016-02-06T11:50:29.000+0100}, title = {Stable Inference as Intuitionistic Validity.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp38.html#Pearce99}, volume = 38, year = 1999 }