@{FTP05,
author     ={Tobias Schmidt-Samoa},
title      ={Mandatory versus Forbidden Literals in
             Simplification with Conditional Lemmas},
booktitle  ={5th Int. Workshop on First-Order Theorem Proving}
editor     ={Reinhold Letz},
pages      ={13--30},
year       ={2005},
number     ={13/2005},
series     ={Fachberichte Informatik, ISSN 1860-5571}
publisher  ={Inst. Informatik, Univ. Koblenz},
note       ={{\url{www.ags.uni-sb.de/~cp/p/mandat/welcome.html}}}}