Title: Model-Checking Based Data Retrieval
Subjects: Programming languages (electronic computers), Information storage and retrieval systems, Query languages (Computer science)