@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 = {{P}roceedings of the 17th {N}ordic {W}orkshop on {P}rogramming {T}heory},
  year = 2005
}