Raymond Reiter Narratives as Programs. 99-108 2000 KR db/conf/kr/kr2000.html#Reiter00