%0 Conference Paper %1 conf/fgcs/Reiter92 %A Reiter, Raymond %B FGCS %D 1992 %I IOS Press %K dblp %P 600-609 %T Formalizing Database Evolution in the Situation Calculus. %U http://dblp.uni-trier.de/db/conf/fgcs/fgcs92.html#Reiter92 %@ 90-5199-099-5

@inproceedings{conf/fgcs/Reiter92, added-at = {2019-07-31T00:00:00.000+0200}, author = {Reiter, Raymond}, biburl = {https://www.bibsonomy.org/bibtex/210eed3d4f74ef4183df771a90b196b69/dblp}, booktitle = {FGCS}, crossref = {conf/fgcs/1992}, interhash = {20b0b89110dacbbf479b4fee717fedeb}, intrahash = {10eed3d4f74ef4183df771a90b196b69}, isbn = {90-5199-099-5}, keywords = {dblp}, pages = {600-609}, publisher = {IOS Press}, timestamp = {2019-08-01T11:36:30.000+0200}, title = {Formalizing Database Evolution in the Situation Calculus.}, url = {http://dblp.uni-trier.de/db/conf/fgcs/fgcs92.html#Reiter92}, year = 1992 }