paper

Deduction modulo theory

arXiv:1501.06523

Abstract

This paper is a survey on Deduction modulo theory