@inproceedings{Kiselyov:2005:BIT:1086365.1086390,
    Address = {New York, NY, USA},
    Author = {Kiselyov, Oleg and Shan, Chung-chieh and Friedman, Daniel P. and Sabry, Amr},
    BookTitle = {Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming},
    File = {LogicT-icfp2005 (0) - a - a - a.pdf},
    ISBN = {1-59593-064-7},
    Keywords = {Haskell, Prolog, continuations, control delimiters, logic programming, streams},
    Location = {Tallinn, Estonia},
    Pages = {192--203},
    Publisher = {ACM},
    Series = {ICFP '05},
    Title = {Backtracking, Interleaving, and Terminating Monad Transformers: (Functional Pearl)},
    URL = {http://doi.acm.org/10.1145/1086365.1086390},
    Year = {2005},
    acmid = {1086390},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1086365.1086390},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1086365.1086390},
    date-added = {2017-03-28 07:54:48 +0000},
    date-modified = {2017-03-28 07:54:48 +0000},
    numpages = {12},
    doi = {10.1145/1086365.1086390}
}

@inproceedings{Kiselyov:2005:BIT:1086365.1086390, Address = {New York, NY, USA}, Author = {Kiselyov, Oleg and Shan, Chung-chieh and Friedman, Daniel P. and Sabry, Amr}, BookTitle = {Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming}, File = {LogicT-icfp2005 (0) - a - a - a.pdf}, ISBN = {1-59593-064-7}, Keywords = {Haskell, Prolog, continuations, control delimiters, logic programming, streams}, Location = {Tallinn, Estonia}, Pages = {192--203}, Publisher = {ACM}, Series = {ICFP '05}, Title = {Backtracking, Interleaving, and Terminating Monad Transformers: (Functional Pearl)}, URL = {http://doi.acm.org/10.1145/1086365.1086390}, Year = {2005}, acmid = {1086390}, bdsk-url-1 = {http://doi.acm.org/10.1145/1086365.1086390}, bdsk-url-2 = {http://dx.doi.org/10.1145/1086365.1086390}, date-added = {2017-03-28 07:54:48 +0000}, date-modified = {2017-03-28 07:54:48 +0000}, numpages = {12}, doi = {10.1145/1086365.1086390} }