@article{lmcs:735, title = {On the relative proof complexity of deep inference via atomic flows}, author = {Anupam Das}, url = {https://lmcs.episciences.org/735}, doi = {10.2168/LMCS-11(1:4)2015}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 11, Issue 1}, eid = 4, year = {2015}, month = {Mar}, keywords = {Computer Science - Logic in Computer Science, Mathematics - Logic}, }