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

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