@InProceedings{BeckertBruns2013,
author = {Bernhard Beckert and Daniel Bruns},
title = {Dynamic Logic with Trace Semantics},
booktitle = {24th International Conference on Automated
Deduction ({CADE-24})},
venue = {Lake Placid, {NY}, {USA}},
series = {LNCS},
volume = {7898},
editor = {Maria Paola Bonacina},
publisher = {Springer},
pages = {315--329},
ee = {http://dx.doi.org/10.1007/978-3-642-38574-2_22},
year = {2013},
month = jun
}