Our papers are available to WWW browsers at
http://www-formal.stanford.edu. The development of these ideas has
benefitted from discussions with Johan van Benthem, Tom Costello,
Richard Fikes, Mike Genesereth, Fausto Giunchiglia, R. V. Guha, Ian
Mason, and Carolyn Talcott. Guha wrote his thesis [29]
while this article was going through many versions as the ideas
developed, and the mutual influences cannot be specified. This work
was partly supported by DARPA contract NAG2-703 and ARPA/ONR grant
N00014-94-1-0775.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.