@inproceedings{stumpschurmann04,
author={{A. Stump and C. Sch\"{u}rmann}},
title={{Logical Semantics for the Rewriting Calculus}},
booktitle="5th International Workshop on Strategies in Automated Deduction",
editor={{M. Bonacina and T. Boy de la Tour}},
year=2004}