Dale Miller, Alwen Tiu: Extracting Proofs from Tabled Proof Search. CPP 2013: 194-210