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