@misc{indiciae20da5eaec528,
  title = {Decidability of higher-order matching},
  author = {Colin Stirling},
  year = {2009},
  doi = {10.2168/lmcs-5(3:2)2009},
  url = {https://arxiv.org/abs/0907.3804},
  note = {Source identifier: 0907.3804}
}