Simon Dixon, Wayne Wobcke. The Implementation of a First-Order Logic AGM Belief Revision System. In ICTAI. pages 40-47, 1993.
@inproceedings{DixonW93, title = {The Implementation of a First-Order Logic AGM Belief Revision System}, author = {Simon Dixon and Wayne Wobcke}, year = {1993}, tags = {logic}, researchr = {https://researchr.org/publication/DixonW93}, cites = {0}, citedby = {0}, pages = {40-47}, booktitle = {ICTAI}, }