@inproceedings{4871,
  title = "Datalog Relaunched: Simulation Unification and Value Invention",
  author = "François Bry and Tim Furche and Bruno Marnette and Clemens Ley and Benedikt Linse and Olga Poppe",
  year = "2011",
  journal = "Pro­ceed­ings of the Dat­a­log 2.0 Work­shop",
}