Datalog Relaunched: Simulation Unification and Value Invention (Proceedings of the Datalog 2.0 Workshop, 2011)

(untitled) - Bry, F; Furche, T; Marnette, B; Ley, C; Linse, B; Poppe, O