%0 Journal Article %1 journals/ipl/HarelP85 %A Harel, David %A Peleg, David %D 1985 %J Inf. Process. Lett. %K dblp %N 2 %P 87-90 %T More on Looping vs. Repeating in Dynamic Logic. %U http://dblp.uni-trier.de/db/journals/ipl/ipl20.html#HarelP85 %V 20

@article{journals/ipl/HarelP85, added-at = {2011-07-07T00:00:00.000+0200}, author = {Harel, David and Peleg, David}, biburl = {https://www.bibsonomy.org/bibtex/2774f907f9948d87f509ea8117aae8670/dblp}, ee = {http://dx.doi.org/10.1016/0020-0190(85)90069-9}, interhash = {af3e604fd881b47ea6a4b9ed8daa154a}, intrahash = {774f907f9948d87f509ea8117aae8670}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 2, pages = {87-90}, timestamp = {2011-07-08T11:33:28.000+0200}, title = {More on Looping vs. Repeating in Dynamic Logic.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl20.html#HarelP85}, volume = 20, year = 1985 }