Cut Elimination in Deduction Modulo by Abstract Completion

Cached

Download Links

by Guillaume Burel , Claude Kirchner
Venue:in "FoSSaCS 2007, 24/03/2007, Braga/Portugal
Citations:3 - 2 self