@Book{Car86,
    Author       = "Carroll, L.",
    Year         = "1986",
    Title        = "{Lewis Carroll's Symbolic Logic}",
    Publisher    = "C.N. Potter",
    Comment      = "TPTPRef"
}