%0 Journal Article %1 journals/lmcs/BlassGRR07 %A Blass, Andreas %A Gurevich, Yuri %A Rosenzweig, Dean %A Rossman, Benjamin %D 2007 %J Logical Methods in Computer Science %K dblp %N 4 %T Interactive Small-Step Algorithms I: Axiomatization. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs3.html#BlassGRR07 %V 3

@article{journals/lmcs/BlassGRR07, added-at = {2019-05-14T00:00:00.000+0200}, author = {Blass, Andreas and Gurevich, Yuri and Rosenzweig, Dean and Rossman, Benjamin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/286d1a07e22a4c7acc48f4f853941a4e0/dblp}, ee = {https://doi.org/10.2168/LMCS-3(4:3)2007}, interhash = {9a0817ad15b1f23335c46a5c31319ad0}, intrahash = {86d1a07e22a4c7acc48f4f853941a4e0}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 4, timestamp = {2019-09-27T10:39:20.000+0200}, title = {Interactive Small-Step Algorithms I: Axiomatization.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs3.html#BlassGRR07}, volume = 3, year = 2007 }