Automated Analysis of Logically Constrained Rewrite Systems using crest.

Jonas Schpf, Aart Middeldorp

Browse the full TACAS paper archive.