On the Relation Between Truth Maintenance and Autoepistemic Logic
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/ijcai/ReinfrankDB89, title={On the Relation Between Truth Maintenance and Autoepistemic Logic}, pages={1206-1212}, year={1989}, booktitle={IJCAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai89.html#ReinfrankDB89}, author={Michael Reinfrank and Oskar Dressler and Gerhard Brewka} }\end{bibtex}
