@ARTICLE{
author={Novakovic Novak,Strassburger Lutz},
year={2015},
title={On the Power of Substitution in the Calculus of Structures},
journal={ACM TRANSACTIONS ON COMPUTATIONAL LOGIC},
volume={16},
number={3},
pages={-},
document_type={Article},
}