David G. Novick Karen Ward Mutual Beliefs of Multiple Conversants: A Computational Model of Collaboration in Air Traffic Control. 196-201 1993 AAAI db/conf/aaai/aaai93.html#NorvickW93