A Temporal Logic Based Approach for Querying Lists, Trees, and DAGs in Databases

Peter Becker

Browse the full DEXA paper archive.