"Quati: An Automated Tool for Proving Permutation Lemmas."

Vivek Nigam, Giselle Reis, Leonardo Lima (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics