@incollection{damm:1994,
    Author = {Damm, Flemming M.},
    BookTitle = {Theoretical Aspects of Computer Software},
    Editor = {Hagiya, Masami and Mitchell, JohnC.},
    File = {Subtyping with union types, intersection types and recursive types - Damm (0) (0) - a - a - c.pdf},
    ISBN = {978-3-540-57887-1},
    Keywords = {set constraints},
    Pages = {687-706},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Subtyping with union types, intersection types and recursive types},
    URL = {http://dx.doi.org/10.1007/3-540-57887-0\_121},
    Volume = {789},
    Year = {1994},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-57887-0\_121},
    date-added = {2013-07-17 12:48:59 +0000},
    date-modified = {2013-07-17 12:49:06 +0000},
    file-2 = {Subtyping with union types, intersection types and recursive types - Damm (1) (0) - a - a - c.pdf},
    doi = {10.1007/3-540-57887-0_121}
}

@incollection{damm:1994, Author = {Damm, Flemming M.}, BookTitle = {Theoretical Aspects of Computer Software}, Editor = {Hagiya, Masami and Mitchell, JohnC.}, File = {Subtyping with union types, intersection types and recursive types - Damm (0) (0) - a - a - c.pdf}, ISBN = {978-3-540-57887-1}, Keywords = {set constraints}, Pages = {687-706}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Subtyping with union types, intersection types and recursive types}, URL = {http://dx.doi.org/10.1007/3-540-57887-0_121}, Volume = {789}, Year = {1994}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-57887-0_121}, date-added = {2013-07-17 12:48:59 +0000}, date-modified = {2013-07-17 12:49:06 +0000}, file-2 = {Subtyping with union types, intersection types and recursive types - Damm (1) (0) - a - a - c.pdf}, doi = {10.1007/3-540-57887-0_121} }