Fixed-Point Elimination in the Intuitionistic Propositional Calculus.

Silvio Ghilardi, Maria Joo Gouveia, Luigi Santocanale

Browse the full FOSSACS paper archive.