@InProceedings{NieuwenhuisOliveras2005RTA,
  author    = {R. Nieuwenhuis and
               A. Oliveras},
  title     = {{Proof-Producing Congruence Closure}},
  pages     = {453--468},
  booktitle = {16th International Conference on Term Rewriting and Applications, RTA'05},
  year      = {2005},
  editor    = {J. Giesl},
  series    = {Lecture Notes in Computer Science},
  volume    = {3467},
  publisher = {Springer}
}