@inproceedings{Vouillon2004,
    Address = {Berlin, Heidelberg},
    Author = {Vouillon, J{\'e}r{\^o}me},
    BookTitle = {Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings},
    Editor = {Marcinkowski, Jerzy and Tarlecki, Andrzej},
    File = {chp\%3A10.1007\%2F978-3-540-30124-0\_32 (0) - a - a - s.pdf},
    ISBN = {978-3-540-30124-0},
    Pages = {415--429},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Subtyping Union Types},
    URL = {http://dx.doi.org/10.1007/978-3-540-30124-0\_32},
    Year = {2004},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-30124-0\_32},
    date-added = {2017-01-23 15:05:26 +0000},
    date-modified = {2017-01-23 15:05:31 +0000},
    doi = {10.1007/978-3-540-30124-0_32}
}

@inproceedings{Vouillon2004, Address = {Berlin, Heidelberg}, Author = {Vouillon, J{\'e}r{\^o}me}, BookTitle = {Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings}, Editor = {Marcinkowski, Jerzy and Tarlecki, Andrzej}, File = {chp\%3A10.1007\%2F978-3-540-30124-0_32 (0) - a - a - s.pdf}, ISBN = {978-3-540-30124-0}, Pages = {415--429}, Publisher = {Springer Berlin Heidelberg}, Title = {Subtyping Union Types}, URL = {http://dx.doi.org/10.1007/978-3-540-30124-0_32}, Year = {2004}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-30124-0_32}, date-added = {2017-01-23 15:05:26 +0000}, date-modified = {2017-01-23 15:05:31 +0000}, doi = {10.1007/978-3-540-30124-0_32} }