@misc{indiciae96e18b5d81d6,
  title = {A Verified Algebra for Linked Data},
  author = {Ross Horne and Vladimiro Sassone},
  year = {2011},
  doi = {10.4204/eptcs.58.2},
  url = {https://arxiv.org/abs/1108.0229},
  note = {Source identifier: 1108.0229}
}