Seminaive Materialisation in DatalogMTL

Open in new window