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

by Guillaume Burel , Claude Kirchner
Citations:2 - 1 self