%0 Journal Article %1 journals/jsyml/Roorda94 %A Roorda, Dirk %D 1994 %J J. Symb. Log. %K dblp %N 2 %P 419-444 %T Interpolation in Fragments of Classical Linear Logic. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml59.html#Roorda94 %V 59

@article{journals/jsyml/Roorda94, added-at = {2014-08-05T00:00:00.000+0200}, author = {Roorda, Dirk}, biburl = {https://www.bibsonomy.org/bibtex/250a70ce9f0c9069b5cbd443aea4d07d2/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183744488}, interhash = {8e3cb259c5f60a108fe713b27f6ef23c}, intrahash = {50a70ce9f0c9069b5cbd443aea4d07d2}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 2, pages = {419-444}, timestamp = {2015-06-18T02:34:53.000+0200}, title = {Interpolation in Fragments of Classical Linear Logic.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml59.html#Roorda94}, volume = 59, year = 1994 }