@article{Bucholz:1991,
    Author = {Buchholz, Wilfried},
    File = {Notation systems for infinitary derivations - Buchholz (0) (0) - a - a - d.pdf},
    ISSN = {0933-5846},
    Journal = {Archive for Mathematical Logic},
    Language = {English},
    Number = {5-6},
    Pages = {277-296},
    Publisher = {Springer-Verlag},
    Title = {Notation systems for infinitary derivations},
    URL = {http://dx.doi.org/10.1007/BF01621472},
    Volume = {30},
    Year = {1991},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF01621472},
    date-added = {2014-01-16 15:48:42 +0000},
    date-modified = {2014-01-16 15:48:42 +0000},
    doi = {10.1007/BF01621472}
}

@article{Bucholz:1991, Author = {Buchholz, Wilfried}, File = {Notation systems for infinitary derivations - Buchholz (0) (0) - a - a - d.pdf}, ISSN = {0933-5846}, Journal = {Archive for Mathematical Logic}, Language = {English}, Number = {5-6}, Pages = {277-296}, Publisher = {Springer-Verlag}, Title = {Notation systems for infinitary derivations}, URL = {http://dx.doi.org/10.1007/BF01621472}, Volume = {30}, Year = {1991}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF01621472}, date-added = {2014-01-16 15:48:42 +0000}, date-modified = {2014-01-16 15:48:42 +0000}, doi = {10.1007/BF01621472} }