@inproceedings{ Reiter93c,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/edbt.ps}
}
,
  title = {In formalizing database updates: preliminary report}
}
,
  url = {edbt.pdf}
}
,
  booktitle = {Proc. of the 3rd International Conference on Extending Database Technology}
}
,
  author = {Reiter, R.}
}
,
  year = {1992}
}
,
  month = {March}
}
,
  note = {Invited paper}
}
,
  key = {CogRobo}
}
,
  address = {Vienna, Austria}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/edbt.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/edbt.pdf}
}
,
  pages = {10--20}
}