Correctness proof for database reconstruction algorithm

Oluwasola Mary Fasan, Martin S. Olivier. Correctness proof for database reconstruction algorithm. Digital Investigation, 9(2):138-150, 2012. [doi]

@article{FasanO12-1,
  title = {Correctness proof for database reconstruction algorithm},
  author = {Oluwasola Mary Fasan and Martin S. Olivier},
  year = {2012},
  doi = {10.1016/j.diin.2012.09.002},
  url = {http://dx.doi.org/10.1016/j.diin.2012.09.002},
  researchr = {https://researchr.org/publication/FasanO12-1},
  cites = {0},
  citedby = {0},
  journal = {Digital Investigation},
  volume = {9},
  number = {2},
  pages = {138-150},
}