@inproceedings{ Reiter92b,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/fgcs.ps}
}
,
  title = {Formalizing database evolution in the situation calculus}
}
,
  url = {fgcs.pdf}
}
,
  booktitle = {Proc. of the International Conference on Fifth Generation Computer Systems}
}
,
  author = {Reiter, R.}
}
,
  year = {1992}
}
,
  month = {June}
}
,
  note = {Invited paper}
}
,
  key = {CogRobo}
}
,
  address = {Tokyo, Japan}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/fgcs.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/fgcs.pdf}
}
,
  pages = {600--609}
}