Title: Tacti-Based Inductive Theorem Prover for Data Types With Partial Operations