%0 Journal Article %1 journals/tocl/NovakovicS15 %A Novakovic, Novak %A Straßburger, Lutz %D 2015 %J ACM Trans. Comput. Log. %K %N 3 %P 19:1-19:20 %T On the Power of Substitution in the Calculus of Structures. %U http://dblp.uni-trier.de/db/journals/tocl/tocl16.html#NovakovicS15 %V 16

@article{journals/tocl/NovakovicS15, added-at = {2023-12-13T09:13:12.000+0100}, author = {Novakovic, Novak and Straßburger, Lutz}, biburl = {https://www.bibsonomy.org/bibtex/22cd0b1e1f553e040dd0574c67f1f7ca5/admin}, ee = {https://doi.org/10.1145/2701424}, interhash = {cc211bd64795469e4216968c9e3893ae}, intrahash = {2cd0b1e1f553e040dd0574c67f1f7ca5}, journal = {ACM Trans. Comput. Log.}, keywords = {}, number = 3, pages = {19:1-19:20}, timestamp = {2023-12-13T09:13:12.000+0100}, title = {On the Power of Substitution in the Calculus of Structures.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl16.html#NovakovicS15}, volume = 16, year = 2015 }