Quati: An Automated Tool for Proving Permutation Lemmas.

Vivek Nigam, Giselle Reis, Leonardo Lima

Browse the full CADE paper archive.