@Article{Win90,
    Author       = "Winker, S.",
    Year         = "1990",
    Title        = "{Robbins Algebra: Conditions that make a Near-Boolean Algebra Boolean}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "6",
    Number       = "4",
    Pages        = "465-489",
    Comment      = "TPTPRef"
}