Constructive Modelings for Theory Change
From Tetherless World Wiki
\begin{bibtex} @article{DBLP:journals/ndjfl/PeppasW95,
author = {Pavlos Peppas and
Mary-Anne Williams},
title = {Constructive Modelings for Theory Change},
journal = {Notre Dame Journal of Formal Logic},
volume = {36},
number = {1},
year = {1995},
pages = {120-133},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
