@inproceedings{CCMS-JELIA14,
  title = "Verification of Context-Sensitive Knowledge and Action Bases",
  author = "Diego Calvanese and {\.I}smail {\.I}lkan Ceylan and Marco Montali and Ario Santoso",
  year = "2014",
  booktitle = "Proceedings of the 14th European Conference on Logics in Artificial Intelligence, {JELIA} 2014, Funchal, Madeira, Portugal, September 24-26, 2014.",
  editor = "Eduardo Ferm{\'{e}} and Jo{\~{a}}o Leite",
  pages = "514--528",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-319-11558-0_36",
  volume = "8761",
}