Query Evaluation in DatalogMTL -- Taming Infinite Query Results

Open in new window