A Temporal Logic for Reasoning About Changing Data Bases in the Context of Natural Language Question-Answering.

Eric Mays A Temporal Logic for Reasoning About Changing Data Bases in the Context of Natural Language Question-Answering. 559-578 1984 Expert Database Workshop db/conf/eds/eds84.html#Mays84