(:source 
   :version  3 
   :ip-address "129.79.134.34"
   :ip-name "tarski.phil.indiana.edu"
   :tcp-port 210
   :database-name "nonmono.bib"
   :cost 0.00 
   :cost-unit :free 
   :maintainer "morado@phil.indiana.edu"
   :description "This is a wais .src info file.
This database is a big part of the bibliography of my Ph. D. thesis.
Without aspiring to completeness, it provides very extensive
coverage of recent issues related to nonmonotonic logics and belief
revision.  A few other items germane or tangential to this work are
included, bringing the total to more than 1600 entries.  Though I have
been able to collect more than a thousand of these items, I cannot
vouch for the appropriateness of all of them.  Sometimes I only had
the title to go on, sometimes a brief abstract. Suggestions are welcomed.
     = = = = = = = = = = = = = = = = = = = = = = = =
NOTES FOR GOPHER USERS:
With the unix curses client use "gopher tarski.phil.indiana.edu".
From most PC and Mac clients, change the setup to
"tarski.phil.indiana.edu", port 70. You can also try the bookmark
 Type=7
 Name=Bibliography of Belief Revision and Nonmonotonicity
 Path=waissrc:/nonmono.bib.src
 Host=tarski.phil.indiana.edu
 Port=70
     = = = = = = = = = = = = = = = = = = = = = = = =
NOTES FOR WWW USERS:
Use the URL http://tarski.phil.indiana.edu/
If your WWW browser supports wais searches, the following URL should work:
 wais://tarski.phil.indiana.edu/nonmono.bib?
If this doesn't work, try a gateway like
 http://www.ncsa.uiuc.edu:8001/tarski.phil.indiana.edu/nonmono.bib?
As a last resource, use
 gopher://tarski.phil.indiana.edu
and continue from there.
     = = = = = = = = = = = = = = = = = = = = = = = =
This WAIS service sports modifications from ftp.bio.indiana.edu due to
Harry Morris, Brewster Kahle, Jonathan Goldman, Tim Gauslin, and Don
Gilbert: boolean operators (e. g., default and belief not Reiter)
partial word matches (e. g., nonmonotonic*), literal phrase matches
(with single or double quotes, but the first part must be an indexed
word), and extended number of results. (Gopher users need
ftp.bio.indiana.edu:/util/gopher/iubio-gopher-v1.patch.) 

The complete bibliography is anonymously FTPable from
tarski.phil.indiana.edu (129.79.134.34) as pub/morado/nonmono.bib or
pub/morado/nonmono.bib.Z (a compressed version).

Enjoy! Raymundo Morado, Philosophy Department, Computer Science
Department, Indiana University, Bloomington, IN 47405."
)
