"Removing Cycles from Proofs."

Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics