Anthony F. Peressini Cumulative versus Noncumulative Ramified Types. 385-397 1997 38 Notre Dame Journal of Formal Logic 3 db/journals/ndjfl/ndjfl38.html#Peressini97 http://projecteuclid.org/euclid.ndjfl/1039700745