@article{cca449d49c5140f58c2412d8a2719e48,
title = "On the undecidability of the equivalence of second-order tuple generating dependencies",
keywords = "Data exchange, Data integration, Database dependencies, Schema mapping optimization",
author = "Ingo Feinerer and Reinhard Pichler and Emanuel Sallinger and Vadim Savenkov",
note = "Publisher Copyright: {\textcopyright} 2014, Elsevier Ltd. All rights reserved.",
year = "2015",
month = mar,
doi = "10.1016/j.is.2014.09.003",
language = "English",
volume = "48",
pages = "113--129",
journal = "Information Systems",
issn = "0306-4379",
publisher = "Elsevier Ltd",
}