@misc{indiciae640d3bd8ddac,
  title = {The joy of implications, aka pure Horn functions: mainly a survey},
  author = {Marcel Wild},
  year = {2016},
  doi = {10.1016/j.tcs.2016.03.018},
  url = {https://arxiv.org/abs/1411.6432},
  note = {Source identifier: 1411.6432}
}