@article{ Reiter95,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/updates.ps}
}
,
  title = {On specifying database updates}
}
,
  url = {updates.pdf}
}
,
  journal = {Journal of Logic Programming}
}
,
  author = {Reiter, R.}
}
,
  number = {1}
}
,
  month = {October}
}
,
  volume = {25}
}
,
  key = {CogRobo}
}
,
  year = {1995}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/updates.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/updates.pdf}
}
,
  pages = {53--91}
}