Thomas Sternagel, Sarah Winkler, Harald Zankl: Recording Completion for Certificates in Equational Reasoning. CPP 2015: 41-47