Case Studies on Algorithm Discovery from Proofs: The Delete Function on Lists and Binary Trees using Multisets | IEEE Conference Publication | IEEE Xplore