%0 Journal Article %1 journals/iandc/ParkI11 %A Park, Sungwoo %A Im, Hyeonseung %D 2011 %J Inf. Comput. %K dblp %N 12 %P 1519-1535 %T A modal logic internalizing normal proofs. %U http://dblp.uni-trier.de/db/journals/iandc/iandc209.html#ParkI11 %V 209

@article{journals/iandc/ParkI11, added-at = {2019-09-25T00:00:00.000+0200}, author = {Park, Sungwoo and Im, Hyeonseung}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2660561bd169e2d965961604f3deb1b0e/dblp}, ee = {https://doi.org/10.1016/j.ic.2010.09.010}, interhash = {1e006ab33d301ad0d49c2bd62ca2f625}, intrahash = {660561bd169e2d965961604f3deb1b0e}, journal = {Inf. Comput.}, keywords = {dblp}, number = 12, pages = {1519-1535}, timestamp = {2019-09-27T11:52:23.000+0200}, title = {A modal logic internalizing normal proofs.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc209.html#ParkI11}, volume = 209, year = 2011 }