@InProceedings{LS:LPAR-WS-2001, author = {B. L{\"o}chner and S. Schulz}, title = {{An Evaluation of Shared Rewriting}}, booktitle = {Proc.\ of the 2nd International Workshop on the Implementation of Logics}, pages = {33--48}, year = 2001, editor = {H. {de Nivelle} and S. Schulz}, series = {MPI Preprint}, address = {Saarbr{\"u}cken}, publisher = {Max-Planck-Institut f{\"u}r Informatik}, }