A Syntax-Based Approach to Reasoning about Actions and Events.

Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo

Browse the full LPAR paper archive.