@inproceedings{Kumar_Norrish_10,
    address          = {Edinburgh, UK},
    author           = {Kumar, Ramana and Norrish, Michael},
    booktitle        = {International Conference on Interactive Theorem Proving},
    month            = jul,
    pages            = {51--66},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3724.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/3724.pdf},
    title            = {(Nominal) Unification by Recursive Descent with Triangular Substitutions},
    year             = {2010}
  }