@Article{Cervesato06ker,
  title        = "{NEXCEL, a Deductive Spreadsheet}",
  author       = "Iliano Cervesato",
  journal      = "The Knowledge Engineering Review",
  year         = "2006",
  month        = "To appear"
}