@misc{indiciae7418ccd4db87,
  title = {Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL},
  author = {Christoph Benzmüller and Ali Farjami and Xavier Parent},
  year = {2018},
  url = {https://arxiv.org/abs/1802.08454},
  note = {Source identifier: 1802.08454}
}