Certifying and Synthesizing Membership Equational Proofs.

Grigore Rosu, Steven Eker, Patrick Lincoln, Jos Meseguer

Browse the full FM paper archive.