@article{MGICDT10,
  title = "Static Analysis of Schema-Mappings ensuring Oblivious Termination",
  author = "Bruno Marnette and Floris Geerts",
  year = "2010",
  journal = "ICDT",
}