Removing Cycles from Proofs.

Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph

Browse the full CSL paper archive.