@misc{indiciae21e10e20d5be,
  title = {Homomorphisms and Minimality for Enrich-by-Need Security Analysis},
  author = {Daniel J. Dougherty and Joshua D. Guttman and John D. Ramsdell},
  year = {2018},
  url = {https://arxiv.org/abs/1804.07158},
  note = {Source identifier: 1804.07158}
}