@incollection{JonesRosendahl:1994,
    Author = {Jones, Neil D and Rosendahl, Mads},
    BookTitle = {Algebraic and Logic Programming},
    Editor = {Levi, Giorgio and Rodr{\'\i}guez-Artalejo, Mario},
    File = {Higher-order minimal function graphs - Jones, Rosendahl (0) (0) - a - a - c.pdf},
    ISBN = {978-3-540-58431-5},
    Keywords = {minimal function graphs and readme},
    Pages = {242-252},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Higher-order minimal function graphs},
    URL = {http://dx.doi.org/10.1007/3-540-58431-5\_17},
    Volume = {850},
    Year = {1994},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-58431-5\_17},
    date-added = {2013-06-30 15:58:12 +0000},
    date-modified = {2017-04-11 12:45:26 +0000},
    file-2 = {Higher-order minimal function graphs - Jones, Rosendahl (1) (0) - a - a - c.pdf},
    doi = {10.1007/3-540-58431-5_17}
}

@incollection{JonesRosendahl:1994, Author = {Jones, Neil D and Rosendahl, Mads}, BookTitle = {Algebraic and Logic Programming}, Editor = {Levi, Giorgio and Rodr{\'\i}guez-Artalejo, Mario}, File = {Higher-order minimal function graphs - Jones, Rosendahl (0) (0) - a - a - c.pdf}, ISBN = {978-3-540-58431-5}, Keywords = {minimal function graphs and readme}, Pages = {242-252}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Higher-order minimal function graphs}, URL = {http://dx.doi.org/10.1007/3-540-58431-5_17}, Volume = {850}, Year = {1994}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-58431-5_17}, date-added = {2013-06-30 15:58:12 +0000}, date-modified = {2017-04-11 12:45:26 +0000}, file-2 = {Higher-order minimal function graphs - Jones, Rosendahl (1) (0) - a - a - c.pdf}, doi = {10.1007/3-540-58431-5_17} }