
@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}
}
