@Article{Cervesato06ker,
  title        = "{NEXCEL, a Deductive Spreadsheet}",
  author       = "Iliano Cervesato",
  journal      = "The Knowledge Engineering Review",
  volume       = "22",
  number       = "3",
  pages        = "221--236",
  year         = "2007",
  month        = "November"
}