Iterated Theory Base Change: A Computational Model
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/ijcai/Williams95, title={Iterated Theory Base Change: A Computational Model}, pages={1541-1549}, year={1995}, booktitle={IJCAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai95.html#Williams95}, author={Mary-Anne Williams} }\end{bibtex}
