@InProceedings{Dunfield:coverage08,
    author    = "Joshua Dunfield and Brigitte Pientka",
    title     = "Case analysis of higher-order data",
    booktitle = {International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'08)},
    OPTpages  = {},
    month     = jun,
    year      = {2008},
    OPTeditor = {},
    series    = "Electronic Notes in Theoretical Computer Science (ENTCS)",  
    publisher = {Elsevier}
}