@misc{indiciaec63cb8af27c4,
  title = {Blending margins: The modal logic K has nullary unification type},
  author = {Emil Jeřábek},
  year = {2013},
  doi = {10.1093/logcom/ext055},
  url = {https://arxiv.org/abs/1108.6240},
  note = {Source identifier: 1108.6240}
}