On the Complexity of Checking Soundness of Natural Reductions.

Constantin Enea, Azadeh Farzan, Dominik Klumpp

Browse the full CAV paper archive.