@book(baral03:cambridge,
            author = "Baral, C.",
            title = "{Knowledge Representation, Reasoning and Declarative Problem Solving}",
            publisher = "Cambridge University Press",
            year = "2003"
            )