@inproceedings{buvac-mason-93,
author = {Sa\v{s}a Buva\v{c} and Ian A. Mason},
title = {Propositional Logic of Context},
booktitle = AAAI93,
year = 1993}

@inproceedings{buvac-buvac-mason-94,
author = {Sa\v{s}a Buva\v{c} and 
        Vanja Buva\v{c} and Ian A. Mason},
title = {The Semantics of Propositional Contexts},
booktitle = {Proceedings of the Eight International Symposium on
		  Methodologies for Intelligent Systems},
publisher = {Springer Verlag},
series = {Lecture Notes in Artificial Intelligence},
volume = 869,
year = {1994}}
%  pages 468-477.

@article{buvac-buvac-mason-95,
author = {Sa\v{s}a Buva\v{c} and 
        Vanja Buva\v{c} and Ian A. Mason},
title = {Metamathematics of Contexts},
year = 1995,
volume = 23,
number = 3,
journal = {Fundamenta Informaticae}}
% pages 263-301.

@inproceedings{buvac-qlc-96,
author = {Sa\v{s}a Buva\v{c}},
title = {Quantificational Logic of Context},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial
  Intelligence},
year = 1996}

@techreport{buvac-fss-95,
author = {Sa\v{s}a Buva\v{c}},
year = {1995},
title = {Formalizing Context},
institution={AAAI},
number={FS-95-02},
note={Part of the Fall Symposium Series}}

@incollection{buvac-ambg-96,
  author = {Sa\v{s}a Buva\v{c}},
  title = {Resolving Lexical Ambiguity using a Formal Theory of Context},
  booktitle= {Semantic Ambiguity and Underspecification},
  year= {1996},
  publisher= {CSLI Lecture Notes},
  editor= {Kees van Deemter and Stanley Peters}
}

@inproceedings{buvac-fikes-95,
author = {Sa\v{s}a Buva\v{c} and Richard Fikes},
year = {1995},
title = {A Declarative Formalization of Knowledge Translation},
booktitle = {Proceedings of the ACM CIKM: The 4th International Conference on Information and Knowledge Management}}

@incollection{buvac-mccarthy-96,
author = {Sa\v{s}a Buva\v{c} and John McCarthy},
title = {Combining Planning Contexts},
booktitle= {Advanced Planning Technology--Technological 
Achievements of the ARPA/Rome Laboratory Planning Initiative},
year = 1996,
editor= {Austin Tate},
publisher= {AAAI Press}}

@incollection{mccarthy-buvac-98,
author={John McCarthy and Sa\v{s}a Buva\v{c}},
title={{Formalizing Context (Expanded Notes)}},
pages = "13-50",
  editor =       "A. Aliseda and Glabbeek, R.J. van and D.
                 Westerst{\aa}hl",
  booktitle =    "Computing Natural Language",
  year =         "1998",
  series =       "CSLI Lecture Notes",
  volume =       "81",
  publisher =    "Center for the Study of Language and Information,
                 Stanford University"
}