@misc{indiciaebaf768f1afcc,
  title = {The View-Update Problem for Indefinite Databases},
  author = {Luciano Caroprese and Irina Trubitsyna and Miroslaw Truszczynski and Ester Zumpano},
  year = {2012},
  url = {https://arxiv.org/abs/1205.4655},
  note = {Source identifier: 1205.4655}
}