@Article{Ern02,
    Author       = "Ernst, Z.",
    Year         = "2002",
    Title        = "{Completions from TV-> to H->}",
    Journal      = "Bulletin of the Section of Logic",
    Volume       = "",
    Pages        = "",
    Comment      = "TPTPRef"
}