@InProceedings{KumarNorrish2010,
  author =       {Ramana Kumar and Michael Norrish},
  title =        {(Nominal) Unification by Recursive Descent with Triangular
                  Substitutions},
  booktitle = {Interactive Theorem Proving, First International Conference, ITP~2010},
  pages =     {51--66},
  year =      2010,
  editor =    {Matt Kaufmann and Lawrence C. Paulson},
  volume =    6172,
  series =    {Lecture Notes in Computer Science},
  month =     {July},
  publisher = {Springer}}