NuITP: An Inductive Theorem Prover for Equational Program Verification.

Francisco J. Durn, Santiago Escobar, Jos Meseguer, Julia Sapia

Browse the full PPDP paper archive.