%0 Journal Article %1 journals/ipl/Harel79 %A Harel, David %D 1979 %J Inf. Process. Lett. %K dblp %N 4 %P 195-198 %T Two Results on Process Logic. %U http://dblp.uni-trier.de/db/journals/ipl/ipl8.html#Harel79 %V 8

@article{journals/ipl/Harel79, added-at = {2012-11-28T00:00:00.000+0100}, author = {Harel, David}, biburl = {https://www.bibsonomy.org/bibtex/20b8915254960c960a95011c005becbfa/dblp}, ee = {http://dx.doi.org/10.1016/0020-0190(79)90022-X}, interhash = {1e371fd17bcad30d3bfac6914801f736}, intrahash = {0b8915254960c960a95011c005becbfa}, journal = {Inf. Process. Lett.}, keywords = {dblp}, note = {Erratum: Information Processing Letters 9(3): 160 (1979)}, number = 4, pages = {195-198}, timestamp = {2012-11-29T11:44:50.000+0100}, title = {Two Results on Process Logic.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl8.html#Harel79}, volume = 8, year = 1979 }