@misc{indiciaede934eb2f70e,
  title = {Pattern Unification for the Lambda Calculus with Linear and Affine Types},
  author = {Anders Schack-Nielsen and Carsten Schürmann},
  year = {2010},
  doi = {10.4204/eptcs.34.9},
  url = {https://arxiv.org/abs/1009.2795},
  note = {Source identifier: 1009.2795}
}