@InProceedings{johnsen04tphols,
  author =       {Einar Broch Johnsen and Christoph L\"{u}th},
  key =          {Johnsen and L\"{u}th},
  title =        {Theorem Reuse by Proof Term Transformation},
  booktitle =    "17th International Conference on Theorem Proving in
                  Higher Order Logics ({TPHOLs'04})",
  editor =       {Konrad Slind and Annette Bunker and Ganesh Gopalakrishnan},
  pages =        {152--167},
  series    =    {Lecture Notes in Computer Science},
  volume =       3223,
  publisher =    "Springer-Verlag",
  year =         2004,
  month =        sep
}