@article{Seidl:1994:HOD:194679.194682,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Seidl, Helmut},
    File = {Haskell overloading is DEXPTIME-complete - Seidl (0) (0) - a - a - f.pdf},
    ISSN = {0020-0190},
    Journal = {Inf. Process. Lett.},
    Keywords = {tree automata},
    Month = {October},
    Number = {2},
    Pages = {57--60},
    Publisher = {Elsevier North-Holland, Inc.},
    Title = {Haskell overloading is DEXPTIME-complete},
    URL = {http://dx.doi.org/10.1016/0020-0190(94)00130-8},
    Volume = {52},
    Year = {1994},
    acmid = {194682},
    bdsk-url-1 = {http://dx.doi.org/10.1016/0020-0190(94)00130-8},
    date-added = {2013-10-14 09:53:29 +0000},
    date-modified = {2013-10-14 09:53:43 +0000},
    issue_date = {Oct. 28, 1994},
    numpages = {4},
    doi = {10.1016/0020-0190(94)00130-8}
}

@article{Seidl:1994:HOD:194679.194682, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Seidl, Helmut}, File = {Haskell overloading is DEXPTIME-complete - Seidl (0) (0) - a - a - f.pdf}, ISSN = {0020-0190}, Journal = {Inf. Process. Lett.}, Keywords = {tree automata}, Month = {October}, Number = {2}, Pages = {57--60}, Publisher = {Elsevier North-Holland, Inc.}, Title = {Haskell overloading is DEXPTIME-complete}, URL = {http://dx.doi.org/10.1016/0020-0190(94)00130-8}, Volume = {52}, Year = {1994}, acmid = {194682}, bdsk-url-1 = {http://dx.doi.org/10.1016/0020-0190(94)00130-8}, date-added = {2013-10-14 09:53:29 +0000}, date-modified = {2013-10-14 09:53:43 +0000}, issue_date = {Oct. 28, 1994}, numpages = {4}, doi = {10.1016/0020-0190(94)00130-8} }