Mechanizing Proofs by Unfolding, Folding and Simplification.

Rym Salem Khaled Bsaïes Mechanizing Proofs by Unfolding, Folding and Simplification. 133-142 1997 conf/RelMiCS/1997 RelMiCS db/conf/RelMiCS/RelMiCS1997.html#SalemB97