@article{Urzyczyn:1997:TRF:967318.967320,
    Address = {New York, NY, USA},
    Author = {Urzyczyn, Pawe\l},
    ISSN = {0960-1295},
    Journal = {Mathematical. Structures in Comp. Sci.},
    Month = {August},
    Number = {4},
    Pages = {329--358},
    Publisher = {Cambridge University Press},
    Title = {{Type Reconstruction in F $\Omega$}},
    URL = {http://dx.doi.org/10.1017/S0960129597002302},
    Volume = {7},
    Year = {1997},
    acmid = {967320},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S0960129597002302},
    date-added = {2014-09-06 06:44:02 +0000},
    date-modified = {2014-09-06 06:44:02 +0000},
    issue_date = {August 1997},
    numpages = {30},
    doi = {10.1017/S0960129597002302}
}

@article{Urzyczyn:1997:TRF:967318.967320, Address = {New York, NY, USA}, Author = {Urzyczyn, Pawe\l}, ISSN = {0960-1295}, Journal = {Mathematical. Structures in Comp. Sci.}, Month = {August}, Number = {4}, Pages = {329--358}, Publisher = {Cambridge University Press}, Title = {{Type Reconstruction in F $\Omega$}}, URL = {http://dx.doi.org/10.1017/S0960129597002302}, Volume = {7}, Year = {1997}, acmid = {967320}, bdsk-url-1 = {http://dx.doi.org/10.1017/S0960129597002302}, date-added = {2014-09-06 06:44:02 +0000}, date-modified = {2014-09-06 06:44:02 +0000}, issue_date = {August 1997}, numpages = {30}, doi = {10.1017/S0960129597002302} }