Alex Kean, George K. Tsiknis. A Computational System for Symbolic Belief Revision. In Deductive Databases / Abduction in Deductive Databases. pages 159-173, 1995.
@inproceedings{KeanT95, title = {A Computational System for Symbolic Belief Revision}, author = {Alex Kean and George K. Tsiknis}, year = {1995}, researchr = {https://researchr.org/publication/KeanT95}, cites = {0}, citedby = {0}, pages = {159-173}, booktitle = {Deductive Databases / Abduction in Deductive Databases}, }