@article{Chuang:1997:SMF:969874.969875,
    Address = {New York, NY, USA},
    Author = {Chuang, Tyng-Ruey and Goldberg, Benjamin},
    File = {jfp97ChuangGoldberg (0) - a - a - s.pdf},
    ISSN = {0956-7968},
    Journal = {J. Funct. Program.},
    Keywords = {fixpoint computation and reading},
    Month = {July},
    Number = {4},
    Pages = {357--394},
    Publisher = {Cambridge University Press},
    Title = {A Syntactic Method for Finding Least Fixed Points of Higher-order Functions over Finite Domains},
    URL = {http://dx.doi.org/10.1017/S0956796897002797},
    Volume = {7},
    Year = {1997},
    acmid = {969875},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S0956796897002797},
    date-added = {2017-04-30 10:37:04 +0000},
    date-modified = {2017-04-30 20:21:28 +0000},
    issue_date = {July 1997},
    numpages = {38},
    doi = {10.1017/S0956796897002797}
}

@article{Chuang:1997:SMF:969874.969875, Address = {New York, NY, USA}, Author = {Chuang, Tyng-Ruey and Goldberg, Benjamin}, File = {jfp97ChuangGoldberg (0) - a - a - s.pdf}, ISSN = {0956-7968}, Journal = {J. Funct. Program.}, Keywords = {fixpoint computation and reading}, Month = {July}, Number = {4}, Pages = {357--394}, Publisher = {Cambridge University Press}, Title = {A Syntactic Method for Finding Least Fixed Points of Higher-order Functions over Finite Domains}, URL = {http://dx.doi.org/10.1017/S0956796897002797}, Volume = {7}, Year = {1997}, acmid = {969875}, bdsk-url-1 = {http://dx.doi.org/10.1017/S0956796897002797}, date-added = {2017-04-30 10:37:04 +0000}, date-modified = {2017-04-30 20:21:28 +0000}, issue_date = {July 1997}, numpages = {38}, doi = {10.1017/S0956796897002797} }