What awareness isn’t: A sentential view of implicit and explicit belief. (1986)

by K Konolige
Venue:Theoretical Aspects of Reasoning about Knowledge (TARK’86).