François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert. Datalog Relaunched: Simulation Unification and Value Invention. In Oege de Moor, Georg Gottlob, Tim Furche, Andrew Jon Sellers, editors, Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers. Volume 6702 of Lecture Notes in Computer Science, pages 321-350, Springer, 2010. [doi]
Abstract is missing.