Implementation of a Temporal Query Language with Abstract Time