Regaining Cut Admissibility in Deduction Modulo using Abstract Completion (2010)

by G Burel, C Kirchner
Venue:Information and Computation