Proving Safety Properties of Rewrite Theories.

Camilo Rocha, Jos Meseguer

Browse the full CALCO paper archive.