@conference {inp:BeckertBruns2013, title = {Dynamic Logic with Trace Semantics}, booktitle = {Proceedings of the 24th International Conference on Automated Deduction (CADE-24)}, year = {2013}, author = {B. Beckert and D. Bruns} }