@incollection{Hungar:1993,
    Author = {Hungar, Hardi},
    BookTitle = {STACS 93},
    Editor = {Enjalbert, P. and Finkel, A. and Wagner, K.W.},
    ISBN = {978-3-540-56503-1},
    Pages = {428-439},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {The complexity of verifying functional programs},
    URL = {http://dx.doi.org/10.1007/3-540-56503-5\_43},
    Volume = {665},
    Year = {1993},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-56503-5\_43},
    date-added = {2014-02-10 15:14:43 +0000},
    date-modified = {2014-02-10 15:14:43 +0000},
    doi = {10.1007/3-540-56503-5_43}
}

@incollection{Hungar:1993, Author = {Hungar, Hardi}, BookTitle = {STACS 93}, Editor = {Enjalbert, P. and Finkel, A. and Wagner, K.W.}, ISBN = {978-3-540-56503-1}, Pages = {428-439}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {The complexity of verifying functional programs}, URL = {http://dx.doi.org/10.1007/3-540-56503-5_43}, Volume = {665}, Year = {1993}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-56503-5_43}, date-added = {2014-02-10 15:14:43 +0000}, date-modified = {2014-02-10 15:14:43 +0000}, doi = {10.1007/3-540-56503-5_43} }