Matthew James Stephenson2024-08-142024-08-14https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/3724004A Differential Datalog Interpretersupplierxml