Enumerating proofs of positive formulae - Dowek, Gilles.