pdf bibNatural Language Understanding using Temporal Action LogicMartin MagnussonProceedings of the Workshop KRAQ’06: Knowledge and Reasoning for Language Processing