@InProceedings{Kutsia03RTA,
  author =       "Temur Kutsia",
  editor =       "Robert Nieuwenhuis",
  title =        "Equational Prover of \textsc{{Theorema}}",
  booktitle =    "Proceedings of the 14th International Conference on Rewriting Techniques and Applications ({RTA'03})",
  address =      "Valencia, Spain",
  month =        "9--11 " # jun,
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer Verlag",
  volume =       "2706",
  year =         "2003",
  pages =        "367--379",
  ISBN =         "3-540-40254-3",
}