Fusun Yaman Dana S. Nau V. S. Subrahmanian A Logic of Motion. 85-94 2004 conf/kr/2004 KR db/conf/kr/kr2004.html#YamanNS04