C.: Regaining cut admissibility in deduction modulo using abstract completion (2010)

by G Burel, Kirchner
Venue:Information and Computation