@inproceedings{RabeSchlagerSchmitt05,
  author = {Florian Rabe and Steffen Schlager and Peter H.~Schmitt},
  title = {{A} {S}equent {C}alculus for a {F}irst-order {D}ynamic {L}ogic with {T}race {M}odalities for {P}romela+},
  booktitle = {{S}hort {P}aper {P}roceedings of {I}nternational {C}onference on {L}ogic for {P}rogramming, {A}rtificial {I}ntelligence, and {R}easoning},
  year = 2005,
  pages = "21--27"
}