@Article{Jec93,
    Author       = "Jech, T.",
    Year         = "1993",
    Title        = "{LD-Algebras}",
    Journal      = "Association for Automated Reasoning Newsletter",
    Volume       = "22",
    Pages        = "9-12",
    Comment      = "TPTPRef"
}