The CORE Calculus<pre>@inproceedings{Aut-05-a,
  author        = {Autexier, Serge},
  editor        = {Nieuwenhuis, Robert},
  booktitle     = {Proceedings of the 20th International Conference on Automated Deduction (CADE-20)},
  title         = {The CORE Calculus},
  volume        = {3632},
  series        = {LNAI},
  publisher     = {Springer},
  address       = {Tallinn, Estonia},
  month         = {july},
  year          = {2005},
}
</pre>