@Article{Kos97,
    Author       = "Kossey, I.",
    Year         = "1997",
    Title        = "{A Note on the Completeness of Higher Order Resolution}",
    Journal      = "Publicationes Mathematicae Debrecen",
    Volume       = "51",
    Number       = "1-2",
    Pages        = "",
    Comment      = "TPTPRef"
}