CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications.

Adrin Riesco, Kazuhiro Ogata

Browse the full ICTAC paper archive.