@InProceedings{BeckertSchlager2001,
  author =       {Bernhard Beckert and Steffen Schlager},
  title =        {A Sequent Calculus for  First-order Dynamic Logic with
		  Trace Modalities},
  booktitle =    {Proceedings, International Joint Conference on
		  Automated Reasoning, Siena, Italy},
  editor =       {R. Gor\`e and A. Leitsch and T. Nipkow},
  publisher =    {Springer},
  series =       {LNCS 2083},
  pages =        {626--641},		  
  year =         {2001}
}