Magnusson. Natural Language Understanding Using Temporal Action Logic. Association for Computational Linguistics, 2006, doi:10.3115/1641493.1641499.