Extracting proofs from tabled proof search (2013)

by D Miller, A Tiu
Venue:Certified Programs and Proofs, LNCS