@Article{Ban96-JFM,
    Author       = "Bancerek, G.",
    Year         = "1996",
    Title        = "{Ideals}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "5",
    Number       = "2",
    Pages        = "149-156",
    Comment      = "TPTPRef,FILTER_2"
}