Permutation Rewriting and Algorithmic Verification.

Ahmed Bouajjani, Anca Muscholl, Tayssir Touili

Browse the full LICS paper archive.