@incollection{Miller:1991,
    Author = {Miller, Dale},
    BookTitle = {Extensions of Logic Programming},
    Editor = {Schroeder-Heister, Peter},
    File = {A logic programming language with lambda-abstraction, function variables, and simple unification - Miller (0) (0) - a - a - y.pdf},
    ISBN = {978-3-540-53590-4},
    Pages = {253-281},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {A logic programming language with lambda-abstraction, function variables, and simple unification},
    URL = {http://dx.doi.org/10.1007/BFb0038698},
    Volume = {475},
    Year = {1991},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0038698},
    date-added = {2014-01-25 11:55:14 +0000},
    date-modified = {2014-01-25 11:55:14 +0000},
    file-2 = {A logic programming language with lambda-abstraction, function variables, and simple unification - Miller (1) (0) - a - a - y.pdf},
    file-3 = {A logic programming language with lambda-abstraction, function variables, and simple unification - Miller (2) (0) - a - a - y.pdf},
    doi = {10.1007/BFb0038698}
}

@incollection{Miller:1991, Author = {Miller, Dale}, BookTitle = {Extensions of Logic Programming}, Editor = {Schroeder-Heister, Peter}, File = {A logic programming language with lambda-abstraction, function variables, and simple unification - Miller (0) (0) - a - a - y.pdf}, ISBN = {978-3-540-53590-4}, Pages = {253-281}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {A logic programming language with lambda-abstraction, function variables, and simple unification}, URL = {http://dx.doi.org/10.1007/BFb0038698}, Volume = {475}, Year = {1991}, bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0038698}, date-added = {2014-01-25 11:55:14 +0000}, date-modified = {2014-01-25 11:55:14 +0000}, file-2 = {A logic programming language with lambda-abstraction, function variables, and simple unification - Miller (1) (0) - a - a - y.pdf}, file-3 = {A logic programming language with lambda-abstraction, function variables, and simple unification - Miller (2) (0) - a - a - y.pdf}, doi = {10.1007/BFb0038698} }