Joseph Downs, Han Reichgelt, Nigel Shadbolt. Automatic Derivation of World Update Schemes. In AIPS. pages 237-242, 1994.
@inproceedings{DownsRS94, title = {Automatic Derivation of World Update Schemes}, author = {Joseph Downs and Han Reichgelt and Nigel Shadbolt}, year = {1994}, researchr = {https://researchr.org/publication/DownsRS94}, cites = {0}, citedby = {0}, pages = {237-242}, booktitle = {AIPS}, }