The CORE Calculus
@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}, }