dclyons@ai.toronto.edu ("Daniel C. Lyons") (10/18/89)
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