@Book{GJ+07,
    Author       = "Galatos, N. and Jipsen, P. and Kowalski, T. and Ono, H.",
    Year         = "2007",
    Title        = "{Residuated Lattices: An Algebraic Glimpse on Substructural
                    Logics}",
    Series       = "Studies in Logic",
    Number       = "151",
    Publisher    = "Elsevier",
    Comment      = "TPTPRef"
}