Bibtex:AL07

BibTex

<bibtex> @inproceedings{AL07,

 author    = {B. Alarcón and
              S. Lucas},
 title     = {Termination of Innermost Context-Sensitive Rewriting Using
              Dependency Pairs},
 booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCos'07},
 year      = {2007},
 pages     = {73-87},

address = {Liverpool, UK},

publisher = {Springer},
 series    = {Lecture Notes in Computer Science},
 volume    = {4720},

}

</bibtex>