%0 Journal Article %1 journals/rsl/Milne10 %A Milne, Peter %D 2010 %J Rev. Symb. Log. %K dblp %N 2 %P 175-227 %T Subformula and separation Properties in Natural Deduction via Small Kripke Models. %U http://dblp.uni-trier.de/db/journals/rsl/rsl3.html#Milne10 %V 3

@article{journals/rsl/Milne10, added-at = {2019-08-20T00:00:00.000+0200}, author = {Milne, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2b8ee3354fd8f637e1f694bf6d733b56a/dblp}, ee = {https://doi.org/10.1017/S175502030999030X}, interhash = {5bfbc6bdb5bc726b6d1d4005b42281f8}, intrahash = {b8ee3354fd8f637e1f694bf6d733b56a}, journal = {Rev. Symb. Log.}, keywords = {dblp}, number = 2, pages = {175-227}, timestamp = {2019-08-21T11:41:09.000+0200}, title = {Subformula and separation Properties in Natural Deduction via Small Kripke Models.}, url = {http://dblp.uni-trier.de/db/journals/rsl/rsl3.html#Milne10}, volume = 3, year = 2010 }