Robuta

https://uwaterloo.ca/data-systems-group/references/temporal-logic-database-query-languages-2 Temporal Logic in Database Query Languages | Data Systems Group | University of Waterloo database query languages