@misc{indiciaebaa0420ed4af,
  title = {Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice},
  author = {Iliano Cervesato and Kaustuv Chaudhuri},
  year = {2015},
  doi = {10.4204/eptcs.185},
  url = {https://arxiv.org/abs/1507.07597},
  note = {Source identifier: 1507.07597}
}