@inproceedings{Lindblad:2004:TAT:2150509.2150519,
    Address = {Berlin, Heidelberg},
    Author = {Lindblad, Fredrik and Benke, Marcin},
    BookTitle = {Proceedings of the 2004 International Conference on Types for Proofs and Programs},
    File = {A Tool for Automated Theorem Proving in Agda - lncs3839 (0) - a - a - u.pdf},
    ISBN = {3-540-31428-8, 978-3-540-31428-8},
    Location = {Jouy-en-Josas, France},
    Pages = {154--169},
    Publisher = {Springer-Verlag},
    Series = {TYPES'04},
    Title = {A Tool for Automated Theorem Proving in Agda},
    URL = {http://dx.doi.org/10.1007/11617990\_10},
    Year = {2006},
    acmid = {2150519},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11617990\_10},
    date-added = {2019-10-08 12:24:05 +0200},
    date-modified = {2019-10-08 12:24:05 +0200},
    numpages = {16},
    doi = {10.1007/11617990_10}
}

@inproceedings{Lindblad:2004:TAT:2150509.2150519, Address = {Berlin, Heidelberg}, Author = {Lindblad, Fredrik and Benke, Marcin}, BookTitle = {Proceedings of the 2004 International Conference on Types for Proofs and Programs}, File = {A Tool for Automated Theorem Proving in Agda - lncs3839 (0) - a - a - u.pdf}, ISBN = {3-540-31428-8, 978-3-540-31428-8}, Location = {Jouy-en-Josas, France}, Pages = {154--169}, Publisher = {Springer-Verlag}, Series = {TYPES'04}, Title = {A Tool for Automated Theorem Proving in Agda}, URL = {http://dx.doi.org/10.1007/11617990_10}, Year = {2006}, acmid = {2150519}, bdsk-url-1 = {http://dx.doi.org/10.1007/11617990_10}, date-added = {2019-10-08 12:24:05 +0200}, date-modified = {2019-10-08 12:24:05 +0200}, numpages = {16}, doi = {10.1007/11617990_10} }