@InProceedings{BeckertSchlager2001,
author = {Bernhard Beckert and Steffen Schlager},
title = {A Sequent Calculus for First-order Dynamic Logic with
Trace Modalities},
booktitle = {First International Joint Conference on
Automated Reasoning ({IJCAR} 2001)},
venue = {Siena, Italy},
editor = {R. Gor\`e and A. Leitsch and T. Nipkow},
publisher = {Springer},
series = {LNCS},
volume = {2083},
pages = {626--641},
year = {2001},
month = jun,
eventdate = {2001-06-18/2001-06-23},
doi = {10.1007/3-540-45744-5_51}
}
