Nonmonotonic Dynamics of Default Logic
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/ecai/WilliamsF90,
author = {Mary-Anne Williams and
Norman Y. Foo},
title = {Nonmonotonic Dynamics of Default Logic},
booktitle = {ECAI},
year = {1990},
pages = {702-707},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
