@inproceedings{     Giese00a,
   author = {Martin Giese},
   title  = {A First-Order Simplification Rule with Constraints},
   booktitle = {Proc.\ Int.\ Workshop on First-Order Theorem Proving, St.\ Andrews, Scotland},
   year = {2000},
   note = {Available online at
  \href{http://i12www.ira.uka.de/~key/doc/2000/giese00a.ps.gz}{http://i12www.ira.uka.de/\~{}key/doc/2000/giese00a.ps.gz}}
}