%0 Journal Article %1 journals/tcs/Holden91 %A Holden, Marit %D 1991 %J Theor. Comput. Sci. %K dblp %N 2 %P 295-321 %T Weak Logic Theory. %U http://dblp.uni-trier.de/db/journals/tcs/tcs79.html#Holden91 %V 79

@article{journals/tcs/Holden91, added-at = {2011-09-07T00:00:00.000+0200}, author = {Holden, Marit}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f08935a4db230e9d5bb994778edf76af/dblp}, ee = {http://dx.doi.org/10.1016/0304-3975(91)90334-X}, interhash = {7a04e285553c49d90f86421f4a6291d0}, intrahash = {f08935a4db230e9d5bb994778edf76af}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {295-321}, timestamp = {2016-02-02T10:03:38.000+0100}, title = {Weak Logic Theory.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs79.html#Holden91}, volume = 79, year = 1991 }