Kwang Mong Sim Reasoning tractably about explicit belief: A model-theoretic approach. 811-848 2000 15 Int. J. Intell. Syst. 9 db/journals/ijis/ijis15.html#Sim00