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