@incollection{KennawayKlopSleepVries:1995,
    Author = {Kennaway, Richard and Klop, JanWillem and Sleep, Ronan and Vries, Fer-Jan},
    BookTitle = {Rewriting Techniques and Applications},
    Editor = {Hsiang, Jieh},
    File = {Infinitary lambda calculi and böhm models - Kennaway, Klop, Sleep, Vries (0) (0) - a - a - q.pdf},
    ISBN = {978-3-540-59200-6},
    Keywords = {infinitary lambda calculus},
    Pages = {257-270},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Infinitary lambda calculi and b{\"o}hm models},
    URL = {http://dx.doi.org/10.1007/3-540-59200-8\_62},
    Volume = {914},
    Year = {1995},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-59200-8\_62},
    date-added = {2014-01-29 13:00:51 +0000},
    date-modified = {2014-01-29 13:01:41 +0000},
    doi = {10.1007/3-540-59200-8_62}
}

@incollection{KennawayKlopSleepVries:1995, Author = {Kennaway, Richard and Klop, JanWillem and Sleep, Ronan and Vries, Fer-Jan}, BookTitle = {Rewriting Techniques and Applications}, Editor = {Hsiang, Jieh}, File = {Infinitary lambda calculi and böhm models - Kennaway, Klop, Sleep, Vries (0) (0) - a - a - q.pdf}, ISBN = {978-3-540-59200-6}, Keywords = {infinitary lambda calculus}, Pages = {257-270}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Infinitary lambda calculi and b{\"o}hm models}, URL = {http://dx.doi.org/10.1007/3-540-59200-8_62}, Volume = {914}, Year = {1995}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-59200-8_62}, date-added = {2014-01-29 13:00:51 +0000}, date-modified = {2014-01-29 13:01:41 +0000}, doi = {10.1007/3-540-59200-8_62} }