Cut elimination in deduction modulo by abstract completion (2007)

by Guillaume Burel, Claude Kirchner
Venue:In Sergei Artemov and Anil Nerode, editors, Proc. of the Symposium on Logical Foundations of Computer Science, Lecture Notes in Computer Science