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