Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman: Adapting proof automation to adapt proofs. CPP 2018: 115-129