%0 Journal Article %1 journals/corr/HeijltjesH15 %A Heijltjes, Willem %A Houston, Robin %D 2016 %J Logical Methods in Computer Science %K dblp %N 1 %T Proof equivalence in MLL is PSPACE-complete. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#HeijltjesH15 %V 12

@article{journals/corr/HeijltjesH15, added-at = {2019-05-14T00:00:00.000+0200}, author = {Heijltjes, Willem and Houston, Robin}, biburl = {https://www.bibsonomy.org/bibtex/2931fb346a529d9f69c07063fb88467e6/dblp}, ee = {http://arxiv.org/abs/1510.06178}, interhash = {a9ac9f17f9192081a11f4628b74ea7ab}, intrahash = {931fb346a529d9f69c07063fb88467e6}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2019-05-15T11:50:25.000+0200}, title = {Proof equivalence in MLL is PSPACE-complete.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#HeijltjesH15}, volume = 12, year = 2016 }