NuITP: An Inductive Theorem Prover for Equational Program Verification | Publicación