A Retrieval Model based on an Extended Modal Logic and its Application to the RIME Experimental Approach - Chiamarella, Y; Jianyun, N (J ACM, 1990)