Andrew R. Haas A Syntactic Theory of Belief and Action. 245-292 1986 28 Artif. Intell. 3 db/journals/ai/ai28.html#Haas86