Papers (BibTeX)

@article{gabbay:hienr,
 author = {Murdoch J. Gabbay},
 title = {\href{http://www.gabbay.org.uk/papers.html#hienr}{Hierarchical Nominal Terms and Their Theory of Rewriting}},
 journal = {Electronic Notes in Theoretical Computer Science},
 volume = {174},
 number = {5},
 year = {2007},
 issn = {1571-0661},
 pages = {37--52},
 doi = {http://dx.doi.org/10.1016/j.entcs.2007.01.017},
 publisher = {Elsevier},
 optaddress = {Amsterdam, The Netherlands, The Netherlands},
}