@inbook{592, author = {Jan Chomicki and David Toman}, title = {Temporal Logic in Database Query Languages}, year = {2018}, publisher = {Springer}, doi = {10.1007/978-1-4614-8265-9_402}, }