@article{Alessi:2005:TPR:1705550.1706053,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Alessi, Fabio and Dezani-Ciancaglini, Mariangiola},
    File = {Type Preorders and Recursive Terms - Alessi, Dezani-Ciancaglini (0) (0) - a - a - h.pdf},
    ISSN = {1571-0661},
    Journal = {Electron. Notes Theor. Comput. Sci.},
    Keywords = {intersection types},
    Month = {July},
    Pages = {3--21},
    Publisher = {Elsevier Science Publishers B. V.},
    Title = {Type Preorders and Recursive Terms},
    URL = {http://dx.doi.org/10.1016/j.entcs.2005.06.017},
    Volume = {136},
    Year = {2005},
    acmid = {1706053},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.entcs.2005.06.017},
    date-added = {2013-05-07 09:57:29 +0000},
    date-modified = {2013-05-07 09:57:53 +0000},
    issue_date = {July, 2005},
    numpages = {19},
    doi = {10.1016/j.entcs.2005.06.017}
}

@article{Alessi:2005:TPR:1705550.1706053, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Alessi, Fabio and Dezani-Ciancaglini, Mariangiola}, File = {Type Preorders and Recursive Terms - Alessi, Dezani-Ciancaglini (0) (0) - a - a - h.pdf}, ISSN = {1571-0661}, Journal = {Electron. Notes Theor. Comput. Sci.}, Keywords = {intersection types}, Month = {July}, Pages = {3--21}, Publisher = {Elsevier Science Publishers B. V.}, Title = {Type Preorders and Recursive Terms}, URL = {http://dx.doi.org/10.1016/j.entcs.2005.06.017}, Volume = {136}, Year = {2005}, acmid = {1706053}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.entcs.2005.06.017}, date-added = {2013-05-07 09:57:29 +0000}, date-modified = {2013-05-07 09:57:53 +0000}, issue_date = {July, 2005}, numpages = {19}, doi = {10.1016/j.entcs.2005.06.017} }