Path: utzoo!utgpu!jarvis.csri.toronto.edu!neat.cs.toronto.edu!dclyons
Newsgroups: gradnews,ut.ai
From: dclyons@ai.toronto.edu ("Daniel C. Lyons")
Subject: Help finding some literature
Message-ID: <89Oct17.185314edt.3610@neat.cs.toronto.edu>
Organization: Department of Computer Science, University of Toronto
Distribution: ut
Date: 17 Oct 89 22:53:34 GMT


I received the following message from a colleague here at MCC
(in Austin, Texas), where I now work:

>From: wan@jake.aca.mcc.com (Wan Lee)
>To: lyons@jake.aca.mcc.com
>Subject: Consistency in Large KB

>I am looking for work in Consistency in Large KB.
>Do you have any leads on that?
>Also would you by any chance just happen to have H. Levesque Ph.D thesis at Toronto ?
>I can get for $57 from University Microfilm and am looking for
>a cheaper alternative.

("University Microfilm" probably refers to the UT (Austin) library)

Can someone over there help out with these queries:
Anyone seen an article/book called "Consistency in Large KB"?
Is there a cheap/easy way of getting hold of Levesque's thesis?

Thanks,
Dan Lyons