Vinay K. Chaudhri Vassos Hadzilacos John Mylopoulos Concurrency Control for Knowledge Bases. 0- 1993 HPTS db/conf/hpts/hpts93.html#ChaudhriHM93