@Article{MB85,
    Author       = "Manes, E. and Benson, D.",
    Year         = "1985",
    Title        = "{The Inverse Semigroup of a Sum-ordered Semiring}",
    Journal      = "Semigroup Forum",
    Volume       = "31",
    Pages        = "129-152",
    Comment      = "TPTPRef"
}