TPTP Reference: BL85


@Book{BL85,
    Author       = "Brachman, R.J. and Levesque, H.J.",
    Year         = "1985",
    Title        = "{Readings in Knowledge Representation}",
    Publisher    = "Kaufmann Publishers",
    Comment      = ""
}