@Article{CK18,
    Author       = "Czajka, \L. and Kaliszyk, C.",
    Year         = "2018",
    Title        = "{Hammer for Coq: Automation for Dependent Type Theory}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "61",
    Number       = "1-4",
    Pages        = "423-453",
    DOI          = "{10.1007/s10817-018-9458-4}",
    Comment      = "TPTPRef"
}