Recording completion for finding and certifying proofs in equational logic (0)

by T Sternagel, R Thiemann, H Zankl, C Sternagel
Venue:In International Workshop on Confluence, IWC’12