@inproceedings{Kumar_Norrish_10, address = {Edinburgh, United Kingdom}, 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} }